+ if (settings_get_error_routing_to_listing ())
+ {
+ /* Disable screen output devices, because the error should
+ already have been reported to the screen with the
+ dump_message call above. */
+ outp_enable_device (false, OUTP_DEV_SCREEN);
+ tab_output_text (TAB_LEFT, ds_cstr (&string));
+ outp_enable_device (true, OUTP_DEV_SCREEN);
+ }
+