diff --git a/.vscode/metacoq.code-workspace b/.vscode/metacoq.code-workspace
index cb90e4fbb..6037bbe57 100644
--- a/.vscode/metacoq.code-workspace
+++ b/.vscode/metacoq.code-workspace
@@ -4,7 +4,9 @@
 			"path": ".."
 		}
 	],
-	  "settings": {
+	"settings": {
+        
+	// A list of arguments to send to coqtop. Use seperate elements instead of spaces to seperate each argument, especially when a flag expects another trailing argument, e.g. `["-I","./bin"]` instead of `["-I ./bin"]`  
         "coqtop.args": [
 		"-I", "template-coq",
     	//	"-bt", get backtraces from Coq on errors
@@ -20,6 +22,9 @@
 		"-R", "translations", "MetaCoq.Translations",
 		"-R", "test-suite/plugin-demo/theories", "MetaCoq.ExtractedPluginDemo",
 		"-R", "test-suite", "MetaCoq.TestSuite"
-	    ]
+	    ],
+	    
+	 // When enabled, will trim trailing whitespace when saving a file.
+	 "files.trimTrailingWhitespace": false
     }
 }