remove editor dots options for editor dark mode

addons/editor-dark-mode/addon.json

@@ -759,18 +759,6 @@
         "threshold": 110
       }
     },
-    {
-      "name": "workspace-dots",
-      "value": {
-        "type": "textColor",
-        "black": "rgba(0, 0, 0, 0.13)",
-        "white": "rgba(255, 255, 255, 0.13)",
-        "source": {
-          "type": "settingValue",
-          "settingId": "workspace"
-        }
-      }
-    },
     {
       "name": "workspace-insertionMarker",
       "value": {
@@ -946,13 +934,6 @@
       "url": "experimental_editor.css",
       "matches": ["projects"]
     },
-    {
-      "url": "hide_dots.css",
-      "matches": ["projects"],
-      "if": {
-        "settings": { "dots": false }
-      }
-    },
     {
       "url": "paper.css",
       "matches": ["projects"],
@@ -1088,12 +1069,6 @@
       "default": "#ffffff0d",
       "allowTransparency": true
     },
-    {
-      "name": "Show workspace dots",
-      "id": "dots",
-      "type": "boolean",
-      "default": false
-    },
     {
       "name": "Change the costume editor background",
       "id": "affectPaper",
@@ -1130,8 +1105,7 @@
         "palette": "#202020cc",
         "fullscreen": "#000000",
         "stageHeader": "#000000",
-        "border": "#ffffff0d",
-        "dots": false
+        "border": "#ffffff0d"
       }
     },
     {
@@ -1156,8 +1130,7 @@
         "palette": "#202020cc",
         "fullscreen": "#000000",
         "stageHeader": "#000000",
-        "border": "#ffffff0d",
-        "dots": false
+        "border": "#ffffff0d"
       }
     },
     {
@@ -1182,8 +1155,7 @@
         "palette": "#2f4066cc",
         "fullscreen": "#051638",
         "stageHeader": "#051638",
-        "border": "#00000026",
-        "dots": false
+        "border": "#00000026"
       }
     },
     {
@@ -1208,8 +1180,7 @@
         "palette": "#222222cc",
         "fullscreen": "#222222",
         "stageHeader": "#222222",
-        "border": "#111111",
-        "dots": false
+        "border": "#111111"
       }
     },
     {
@@ -1234,8 +1205,7 @@
         "palette": "#333333cc",
         "fullscreen": "#282828",
         "stageHeader": "#333333",
-        "border": "#444444",
-        "dots": true
+        "border": "#444444"
       }
     },
     {
@@ -1260,8 +1230,7 @@
         "palette": "#111111cc",
         "fullscreen": "#111111",
         "stageHeader": "#111111",
-        "border": "#ffffff26",
-        "dots": true
+        "border": "#ffffff26"
       }
     },
     {
@@ -1286,8 +1255,7 @@
         "palette": "#e6e8e8cc",
         "fullscreen": "#ffffffff",
         "stageHeader": "#e6e8e8",
-        "border": "#d0d1d2",
-        "dots": true
+        "border": "#d0d1d2"
       }
     },
     {
@@ -1312,8 +1280,7 @@
         "palette": "#7c8083cc",
         "fullscreen": "#000001",
         "stageHeader": "#000001",
-        "border": "#0000006b",
-        "dots": false
+        "border": "#0000006b"
       }
     },
     {
@@ -1338,8 +1305,7 @@
         "palette": "#f9f9f9cc",
         "fullscreen": "#ffffff",
         "stageHeader": "#e8edf1",
-        "border": "#00000026",
-        "dots": true
+        "border": "#00000026"
       }
     },
     {
@@ -1364,8 +1330,7 @@
         "palette": "#f9f9f9cc",
         "fullscreen": "#ffffff",
         "stageHeader": "#e8edf1",
-        "border": "#00000026",
-        "dots": true
+        "border": "#00000026"
       }
     }
   ],

addons/editor-dark-mode/experimental_editor.css

@@ -322,9 +322,6 @@ img[class*="tool-select-base_tool-select-icon_"],
 .blocklySvg {
   background-color: var(--editorDarkMode-workspace);
 }
-[id^="blocklyGridPattern"] line {
-  stroke: var(--editorDarkMode-workspace-dots);
-}
 .blocklyMainWorkspaceScrollbar .blocklyScrollbarHandle,
 .blocklyMainWorkspaceScrollbar .blocklyScrollbarBackground:hover + .blocklyScrollbarHandle,
 .blocklyMainWorkspaceScrollbar .blocklyScrollbarHandle:hover {