removed pointless entries: not part of api.LanguageEntry;

--- a/src/Tools/VSCode/extension/src/symbol.ts	Mon Jun 12 21:12:59 2017 +0200
+++ b/src/Tools/VSCode/extension/src/symbol.ts	Mon Jun 12 21:14:38 2017 +0200
@@ -103,8 +103,6 @@
 interface LanguageEntry
 {
   language: DocumentSelector
-  revealOn: string
-  adjustCursorMovement: boolean
   substitutions: Substitution[]
 }
 
@@ -138,8 +136,6 @@
           prettify_symbols_mode.exports.registerSubstitutions(
             {
               language: language,
-              revealOn: "none",
-              adjustCursorMovement: true,
               substitutions: substitutions
             }))
       }