commit for prerealse

package.json

@@ -19,12 +19,12 @@
       "type": "object",
       "title": "Godot tools configuration",
       "properties": {
-        "GDScriptServer.editorServerPort": {
+        "GodotTools.editorServerPort": {
           "type": "number",
           "default": 6996,
           "description": "The server port of your EditorServer"
         },
-        "GDScriptServer.maxNumberOfProblems": {
+        "GodotTools.maxNumberOfProblems": {
           "type": "number",
           "default": 100,
           "description": "Controls the maximum number of problems produced by the server."

src/docdata.ts

@@ -13,14 +13,14 @@ class DocDataManager {
   constructor(dir: string) {
     version = "";
     storageDir = dir;
-    console.log(dir);
+    // console.log(dir);
     // Load documents
     DocDataManager.getDocData().then(doc=>{
       docdata = doc;
       console.log("Godot Documentations loaded.");
       // vscode.window.showInformationMessage("Godot Documentations loaded.");
     }).catch(e=>{
-      console.log(e);
+      // console.log(e);
     });
   }
 

src/gdscript/workspace_symbol_provider.ts

@@ -5,7 +5,6 @@ class GDScriptWorkspaceSymbolProvider implements vscode.WorkspaceSymbolProvider
     public provideWorkspaceSymbols(query: string, token: vscode.CancellationToken): vscode.SymbolInformation[] {
       const scripts = config.getAllSymbols();
       const symbols: vscode.SymbolInformation[] = [];
-      console.log(query);
       for (let path of Object.keys(scripts)) {
         const queryMembers = (query, members, kind: vscode.SymbolKind, path:string)=> {
           for (let name of Object.keys(members)) {

src/window_watcher.ts

@@ -51,7 +51,7 @@ class WindowWatcher {
    * Fires when the selection in an editor has changed.
    */
   private onDidChangeTextEditorSelection(event: any) {
-    console.log("[GodotTools]:onDidChangeTextEditorSelection");
+    // console.log("[GodotTools]:onDidChangeTextEditorSelection");
     const doc = window.activeTextEditor.document;
     const curText: DocumentFlag= {path: doc.fileName, version: doc.version};
     // Check content changed
@@ -66,14 +66,14 @@ class WindowWatcher {
    * Fires when the options of an editor have changed.
    */
   private onDidChangeTextEditorOptions(event: any) {
-    console.log("[GodotTools]:onDidChangeTextEditorOptions", event);
+    // console.log("[GodotTools]:onDidChangeTextEditorOptions", event);
   }
 
   /**
    * Fires when the view column of an editor has changed.
    */
   private onDidChangeTextEditorViewColumn(event: any) {
-    console.log("[GodotTools]:onDidChangeTextEditorViewColumn", event);
+    // console.log("[GodotTools]:onDidChangeTextEditorViewColumn", event);
   }
 }