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

diff --git a/src/data/settings.h b/src/data/settings.h
index 1361bef374..dafd114f8d 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -86,9 +86,19 @@ void settings_set_blanks (double);
 int settings_get_max_messages (enum msg_severity);
 void settings_set_max_messages (enum msg_severity, int max);
 
+/* Macro settings. */
+bool settings_get_mexpand (void);
+void settings_set_mexpand (bool);
+
 bool settings_get_mprint (void);
 void settings_set_mprint (bool);
 
+int settings_get_miterate (void);
+void settings_set_miterate (int);
+
+int settings_get_mnest (void);
+void settings_set_mnest (int);
+
 int settings_get_mxloops (void);
 void settings_set_mxloops (int);