Synchronize configuration and fix default showTree value (#71)

* Synchronize configuration

* Fix wrong default value for showTree setting

Author: timsueberkrueb

package.json

@@ -137,7 +137,7 @@
                 },
                 "effekt.showTree": {
                     "type": "boolean",
-                    "default": "false",
+                    "default": false,
                     "description": "Show tree of IR instead of rendered version (only relevant if 'showIR' is neither 'none' nor 'js'."
                 },
                 "effekt.lib": {

src/extension.ts

@@ -179,7 +179,11 @@ export async function activate(context: vscode.ExtensionContext) {
             { scheme: 'file', language: 'effekt' },
             { scheme: 'file', language: 'literate effekt' }
         ],
-        diagnosticCollectionName: "effekt"
+        diagnosticCollectionName: "effekt",
+        synchronize: {
+            // Send configuration updates to the language server
+            configurationSection: 'effekt'
+        }
     };
 
     client = new EffektLanguageClient(