Disabled Font Scaling preference for now; it's too buggy

See issues #2792 and #1624. We'll probably reenable it for 1.16.

changelog.md

@@ -5,6 +5,8 @@
      * S12 Fixed north treasure chest disappearing
  ### Language and i18n
    * Updated translations: Polish
+ ### Miscellaneous and bug fixes
+   * Removed the Font Scaling preference. It was too buggy (issues #2792 and #1624).
 
 ## Version 1.13.13
  ### Campaigns

data/gui/window/preferences/03_display.cfg

@@ -208,7 +208,7 @@
 			[/grid]
 		[/column]
 	[/row]
-
+#ifdef 0
 	{_GUI_PREFERENCES_SPACER_ROW}
 
 	[row]
@@ -260,6 +260,7 @@
 			[/grid]
 		[/column]
 	[/row]
+#endif
 #enddef
 
 #define _GUI_PREFERENCES_DISPLAY_GRID_2

src/gui/dialogs/preferences_dialog.cpp

@@ -479,11 +479,11 @@ void preferences_dialog::post_build(window& window)
 
 	register_integer("idle_anim_frequency", true,
 		idle_anim_rate, set_idle_anim_rate);
-
+#if 0
 	/* FONT SCALING */
 	register_integer("scaling_slider", true,
 		font_scaling, set_font_scaling);
-
+#endif
 	/* SELECT THEME */
 	connect_signal_mouse_left_click(
 			find_widget<button>(&window, "choose_theme", false),
@@ -1006,11 +1006,11 @@ void preferences_dialog::pre_show(window& window)
 	});
 
 	gui2::bind_status_label<slider>(&window, "turbo_slider");
-
+#if 0
 	gui2::bind_status_label<slider>(&window, "scaling_slider",   [](slider& s)->std::string {
 		return s.get_value_label() + "%";
 	});
-
+#endif
 	listbox& selector = find_widget<listbox>(&window, "selector", false);
 	stacked_widget& pager = find_widget<stacked_widget>(&window, "pager", false);
 

src/preferences/game.cpp

@@ -93,6 +93,9 @@ manager::manager() :
 	preferences::erase("password");
 	preferences::erase("password_is_wrapped");
 
+	// TODO: remove when we re-enable font scaling configuration.
+	preferences::erase("font_scale");
+
 	/*
 	completed_campaigns = "A,B,C"
 	[completed_campaigns]