Fix: Remove “Lint” menu option, it’s not necessary

The linter runs automagically every time the user stops writing.

Author: GwynethLlewelyn

extension.json

@@ -53,14 +53,6 @@
 				"command": "gwynethllewelyn.LindenScriptingLanguage.search",
 				"when": "editorHasFocus && editorHasSelection",
 				"shortcut": "cmd-@",
-				"filters": {
-					"syntaxes": ["lsl"]
-				}
-			},
-			{
-				"title": "Lint",
-				"command": "gwynethllewelyn.LindenScriptingLanguage.lint",
-				"when": "editorHasFocus",
 				"filters": {
 					"syntaxes": ["lsl", "ossl"]
 				}