Allow configuring map resources scale

src/js/profile/application_settings.js

@@ -267,6 +267,7 @@ export const allApplicationSettings = [
     new BoolSetting("rotationByBuilding", enumCategories.advanced, (app, value) => {}),
     new BoolSetting("displayChunkBorders", enumCategories.advanced, (app, value) => {}),
     new BoolSetting("pickMinerOnPatch", enumCategories.advanced, (app, value) => {}),
+    new RangeSetting("mapResourcesScale", enumCategories.advanced, () => null),
 
     new EnumSetting("refreshRate", {
         options: refreshRateOptions,
@@ -324,6 +325,7 @@ class SettingsStorage {
         this.lowQualityTextures = false;
         this.simplifiedBelts = false;
         this.zoomToCursor = true;
+        this.mapResourcesScale = 0.5;
 
         /**
          * @type {Object.<string, number>}
@@ -534,7 +536,7 @@ export class ApplicationSettings extends ReadWriteProxy {
     }
 
     getCurrentVersion() {
-        return 29;
+        return 30;
     }
 
     /** @param {{settings: SettingsStorage, version: number}} data */
@@ -672,6 +674,11 @@ export class ApplicationSettings extends ReadWriteProxy {
             data.version = 29;
         }
 
+        if (data.version < 30) {
+            data.settings.mapResourcesScale = 0.5;
+            data.version = 30;
+        }
+
         return ExplainedResult.good();
     }
 }

src/js/profile/setting_types.js

@@ -7,6 +7,17 @@ import { T } from "../translations";
 
 const logger = createLogger("setting_types");
 
+/*
+ * ***************************************************
+ *
+ *  LEGACY CODE WARNING
+ *
+ *  This is old code from yorg3.io and needs to be refactored
+ *  @TODO
+ *
+ * ***************************************************
+ */
+
 export class BaseSetting {
     /**
      *