X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fdata%2Fsettings.h;h=da009abdcac2cc8f8d9b7e1f1d0decf019544b79;hb=8a7f5c28b68af3cd03a524329c1d6e7eba355158;hp=b9fc73ae738f8abfddcb068ad9ecece7e4b4ac8e;hpb=3a61659a8fc11c51ad5af02b20f5613dcde50382;p=pspp-builds.git

diff --git a/src/data/settings.h b/src/data/settings.h
index b9fc73ae..da009abd 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -23,15 +23,6 @@
 #include <stdbool.h>
 #include <stddef.h>
 
-/* Types of routing. */
-enum
-  {
-    SET_ROUTE_SCREEN = 001,	/* Output to screen devices? */
-    SET_ROUTE_LISTING = 002,	/* Output to listing devices? */
-    SET_ROUTE_OTHER = 004,	/* Output to other devices? */
-    SET_ROUTE_DISABLE = 010	/* Disable output--overrides all other bits. */
-  };
-
 void settings_init (void);
 void settings_done (void);
 
@@ -56,6 +47,11 @@ void set_epoch (int);
 bool get_errorbreak (void);
 void set_errorbreak (bool);
 
+bool get_error_routing_to_terminal (void);
+void set_error_routing_to_terminal (bool);
+bool get_error_routing_to_listing (void);
+void set_error_routing_to_listing (bool);
+
 bool get_scompression (void);
 void set_scompression (bool);