+/* Routing of different kinds of output. */
+enum settings_output_devices
+ {
+ SETTINGS_DEVICE_LISTING = 1 << 0, /* File or device. */
+ SETTINGS_DEVICE_TERMINAL = 1 << 1, /* Screen. */
+ SETTINGS_DEVICE_UNFILTERED = 1 << 2 /* Gets all output, no filtering. */
+ };
+
+enum settings_output_type
+ {
+ SETTINGS_OUTPUT_ERROR, /* Errors and warnings. */
+ SETTINGS_OUTPUT_NOTE, /* Notes. */
+ SETTINGS_OUTPUT_SYNTAX, /* Syntax. */
+ SETTINGS_OUTPUT_RESULT, /* Everything else. */
+ SETTINGS_N_OUTPUT_TYPES
+ };
+
+
+
+void settings_set_output_routing (enum settings_output_type,
+ enum settings_output_devices);
+enum settings_output_devices settings_get_output_routing (
+ enum settings_output_type);
+
+enum settings_mdisplay
+ {
+ SETTINGS_MDISPLAY_TEXT,
+ SETTINGS_MDISPLAY_TABLES
+ };
+
+enum settings_mdisplay settings_get_mdisplay (void);
+void settings_set_mdisplay (enum settings_mdisplay);
+