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

diff --git a/src/data/settings.h b/src/data/settings.h
index dafd114f8d..34f4b8519f 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);
@@ -154,6 +155,7 @@ enum fmt_type;
 bool settings_set_cc (const char *cc_string, enum fmt_type type);
 
 void settings_set_decimal_char (char decimal);
+void settings_set_include_leading_zero (bool include_leading_zero);
 
 const struct fmt_settings *settings_get_fmt_settings (void);
 
@@ -186,4 +188,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 */