X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.h;h=6e412c4675925e7389f2958c879a70e506575a1b;hb=4f9ffb2d8002963c99b6b63edc82cf55608a887b;hp=34f4b8519f3b2cb655607c616aba13b57c63a532;hpb=540e5b39fe6617203c86f4b582f35537e0fe90ef;p=pspp

diff --git a/src/data/settings.h b/src/data/settings.h
index 34f4b8519f..6e412c4675 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -116,6 +116,9 @@ void settings_set_testing_mode (bool);
 int settings_get_fuzzbits (void);
 void settings_set_fuzzbits (int);
 
+int settings_get_scalemin (void);
+void settings_set_scalemin (int);
+
 /* Whether to show variable or value labels or the underlying value or variable
    name. */
 enum ATTRIBUTE ((packed)) settings_value_show