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

diff --git a/src/data/settings.h b/src/data/settings.h
index d7c616d9e0..9f6b94a888 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -187,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 */