@@ -10,7 +10,6 @@ import { getScopes, getSubScope } from "../themeScopeColors";
1010import { createOnigScanner , createOnigString , FindOption } from 'vscode-oniguruma' ;
1111import { ruleIdToNumber } from "../textmate/rule" ;
1212// import { ITextEditorOptions, EditorOpenSource, TextEditorSelectionSource } from "../extensions";
13- import { gotoLocationsBroken } from "./DefinitionProvider" ;
1413
1514type element = {
1615 type : 'file' | 'root' | 'line' | 'token' | 'scope' | 'rule' | 'regexes' | 'regex' ,
@@ -1147,13 +1146,13 @@ async function gotoGrammar(element: element) {
11471146 const uri = grammarDoc . uri ;
11481147 const location = new vscode . Location ( uri , range ) ;
11491148 const locations = [ location ] ;
1150- if ( gotoLocationsBroken ) {
1151- const options : vscode . TextDocumentShowOptions = {
1152- selection : range ,
1153- preview : true ,
1154- } ;
1155- vscode . window . showTextDocument ( grammarDoc , options ) ;
1156- }
1149+ // if (gotoLocationsBroken) {
1150+ // const options: vscode.TextDocumentShowOptions = {
1151+ // selection: range,
1152+ // preview: true,
1153+ // };
1154+ // vscode.window.showTextDocument(grammarDoc, options);
1155+ // }
11571156 vscode . commands . executeCommand ( 'editor.action.goToLocations' , uri , range . start , locations ) ;
11581157}
11591158
@@ -1229,13 +1228,13 @@ async function gotoFile(element: element) {
12291228 // selectionSource: TextEditorSelectionSource.NAVIGATION,
12301229 // };
12311230 // vscode.commands.executeCommand('vscode.open', document.uri, [start, textEditorOptions]);
1232- if ( gotoLocationsBroken ) {
1233- const options : vscode . TextDocumentShowOptions = {
1234- selection : range ,
1235- preview : true ,
1236- } ;
1237- vscode . window . showTextDocument ( document , options ) ;
1238- }
1231+ // if (gotoLocationsBroken) {
1232+ // const options: vscode.TextDocumentShowOptions = {
1233+ // selection: range,
1234+ // preview: true,
1235+ // };
1236+ // vscode.window.showTextDocument(document, options);
1237+ // }
12391238 vscode . commands . executeCommand ( 'editor.action.goToLocations' , document . uri , position , [ location ] ) ;
12401239 return ;
12411240 }
0 commit comments