GUI2: remove screen_pitch_microns variable

changelog.md

@@ -11,6 +11,7 @@
    * Updated translations: Bengali, British English, Chinese (Simplified), Hungarian, Italian
 ### Units
 ### User interface
+   * The `screen_pitch_microns` variable is no longer available for UI formulas
 ### WML Engine
    * [stacked_widget] no longer accepts the long-deprecated [stack] tag
 ### Miscellaneous and Bug Fixes

src/gui/widgets/helper.cpp

@@ -157,7 +157,6 @@ void get_screen_size_variables(wfl::map_formula_callable& variable)
 {
 	variable.add("screen_width", wfl::variant(settings::screen_width));
 	variable.add("screen_height", wfl::variant(settings::screen_height));
-	variable.add("screen_pitch_microns", wfl::variant(settings::screen_pitch_microns));
 	variable.add("gamemap_width", wfl::variant(settings::gamemap_width));
 	variable.add("gamemap_height", wfl::variant(settings::gamemap_height));
 	variable.add("gamemap_x_offset", wfl::variant(settings::gamemap_x_offset));

src/gui/widgets/settings.cpp

@@ -26,14 +26,6 @@ namespace settings
 {
 unsigned screen_width = 0;
 unsigned screen_height = 0;
-/** screen_pitch_microns is deprecated. Do not use it.
- *
- * This value corresponds to a physical DPI of 96. But physical DPI should
- * not be used to make rendering decisions. With the ability to set pixel
- * scale, it can be assumed that one pixel in draw-space is neither too
- * small nor too large.
- */
-const unsigned screen_pitch_microns = 265;
 unsigned gamemap_x_offset = 0;
 
 unsigned gamemap_width = 0;

src/gui/widgets/settings.hpp

@@ -43,7 +43,6 @@ namespace settings
  */
 extern unsigned screen_width;
 extern unsigned screen_height;
-extern const unsigned screen_pitch_microns; /* Deprecated, do not use */
 
 /**
  * The offset between the left edge of the screen and the gamemap.