mirror of
https://github.com/Microsoft/vscode
synced 2024-08-27 13:00:58 +00:00
Make all search-result editors have no line numbers
And make that configurable
This commit is contained in:
parent
a56829c225
commit
0fd472271d
|
@ -19,6 +19,11 @@
|
|||
"vscode:prepublish": "node ../../node_modules/gulp/bin/gulp.js --gulpfile ../../build/gulpfile.extensions.js compile-extension:search-result ./tsconfig.json"
|
||||
},
|
||||
"contributes": {
|
||||
"configurationDefaults": {
|
||||
"[search-result]": {
|
||||
"editor.lineNumbers": "off"
|
||||
}
|
||||
},
|
||||
"commands": [
|
||||
{
|
||||
"command": "searchResult.rerunSearch",
|
||||
|
|
|
@ -291,8 +291,6 @@ export const createEditorFromSearchResult =
|
|||
|
||||
const editor = await editorService.openEditor(possible);
|
||||
const control = editor?.getControl()!;
|
||||
control.updateOptions({ lineNumbers: 'off' });
|
||||
|
||||
const model = control.getModel() as ITextModel;
|
||||
|
||||
model.deltaDecorations([], results.matchRanges.map(range => ({ range, options: { className: 'searchEditorFindMatch', stickiness: TrackedRangeStickiness.NeverGrowsWhenTypingAtEdges } })));
|
||||
|
|
Loading…
Reference in a new issue