Use vs-dark as the default dark Monaco theme

Author: shepmaster

ui/frontend/configureStore.ts

@@ -14,7 +14,7 @@ const editorDarkThemes = {
       theme: 'github_dark',
     },
     monaco: {
-      theme: 'vscode-dark-plus',
+      theme: 'vs-dark',
     },
   },
 };

ui/frontend/local_storage.ts

@@ -94,7 +94,7 @@ function migrateV1(state: V1Configuration): CurrentConfiguration {
     configuration: {
       ...configuration,
       ace: { theme, keybinding, pairCharacters },
-      monaco: { theme: 'vscode-dark-plus' },
+      monaco: { theme: 'vs-dark' },
       theme: Theme.System,
       editor: editor === 'advanced' ? Editor.Ace : Editor.Simple,
     },

ui/frontend/reducers/configuration.ts

@@ -135,7 +135,7 @@ const slice = createSlice({
         }
         case Theme.Dark: {
           state.ace.theme = 'github_dark';
-          state.monaco.theme = 'vscode-dark-plus';
+          state.monaco.theme = 'vs-dark';
           break;
         }
       }