X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.c;fp=src%2Fdata%2Fsettings.c;h=c70635cec03fc06da0dd7c472a8da626e2010fd6;hb=b1dd857c0580ce963b28ee3a9573ae592a0a7dde;hp=7d7934af9240ccaaff1df4ce0ed0270647882cdc;hpb=708f2f1b12056e77b03749aa7b5931dc07819356;p=pspp

diff --git a/src/data/settings.c b/src/data/settings.c
index 7d7934af92..c70635cec0 100644
--- a/src/data/settings.c
+++ b/src/data/settings.c
@@ -74,6 +74,7 @@ struct settings
   struct fmt_spec default_format;
   bool testing_mode;
   int fuzzbits;
+  int scalemin;
 
   int cmd_algorithm;
   int global_algorithm;
@@ -122,6 +123,7 @@ static struct settings the_settings = {
   .default_format = { .type = FMT_F, .w = 8, .d = 2 },
   .testing_mode = false,
   .fuzzbits = 6,
+  .scalemin = 24,
   .cmd_algorithm = ENHANCED,
   .global_algorithm = ENHANCED,
   .syntax = ENHANCED,
@@ -548,6 +550,18 @@ settings_set_fuzzbits (int fuzzbits)
   the_settings.fuzzbits = fuzzbits;
 }
 
+int
+settings_get_scalemin (void)
+{
+  return the_settings.scalemin;
+}
+
+void
+settings_set_scalemin (int scalemin)
+{
+  the_settings.scalemin = scalemin;
+}
+
 /* Return the current algorithm setting */
 enum behavior_mode
 settings_get_algorithm (void)