Make window to theme syncing configurable

src/config-schema.js

@@ -398,6 +398,11 @@ const configSchema = {
         description: 'Add the current tab title to the Pulsar Window title.',
         type: 'boolean',
         default: true
+      },
+      syncWindowThemeWithPulsarTheme: {
+        description: 'When changing the theme within Pulsar also change the theme of the window on the operating system.',
+        type: 'boolean',
+        default: false
       }
     }
   },

src/theme-manager.js

@@ -413,7 +413,9 @@ On linux there are currently problems with watch sizes. See
             this.refreshLessCache(); // Update cache again now that @getActiveThemes() is populated
             this.loadUserStylesheet();
             this.reloadBaseStylesheets();
-            this.refreshWindowTheme();
+            if (this.config.get("editor.syncWindowThemeWithPulsarTheme")) {
+              this.refreshWindowTheme();
+            }
             this.initialLoadComplete = true;
             this.emitter.emit('did-change-active-themes');
             resolve();