X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.h;h=9f6b94a888c63c41d9d9a16cacf9b81eba7500a6;hb=adb34911aef637e26876553de28053af9d21cdd1;hp=dafd114f8d816bae49756e470058c00cf6e4e988;hpb=1fec85d2c2a80ec32f351bfa3fa369070f1f848d;p=pspp

diff --git a/src/data/settings.h b/src/data/settings.h
index dafd114f8d..9f6b94a888 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -73,6 +73,7 @@ void settings_set_safer_mode (void);
 bool settings_get_include (void);
 void settings_set_include (bool);
 
+int settings_get_epoch (void);
 void settings_set_epoch (int);
 
 bool settings_get_scompression (void);
@@ -186,4 +187,13 @@ void settings_set_output_routing (enum settings_output_type,
 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);
+
 #endif /* !settings_h */