+
+enum settings_value_show
+settings_get_show_values (void)
+{
+ return the_settings.show_values;
+}
+
+void
+settings_set_show_values (enum settings_value_show s)
+{
+ the_settings.show_values = s;
+}
+
+
+enum settings_value_show
+settings_get_show_variables (void)
+{
+ return the_settings.show_variables;
+}
+
+void
+settings_set_show_variables (enum settings_value_show s)
+{
+ the_settings.show_variables = s;
+}