diff --git a/src/vs/workbench/parts/markers/browser/MarkersTreeController.ts b/src/vs/workbench/parts/markers/browser/MarkersTreeController.ts index c181fd3cff5ef51c3ac258f8f3941696d4ef00e2..e653f74b18227afc59580b5ce18ec00030cb7d68 100644 --- a/src/vs/workbench/parts/markers/browser/MarkersTreeController.ts +++ b/src/vs/workbench/parts/markers/browser/MarkersTreeController.ts @@ -12,14 +12,11 @@ import treedefaults = require('vs/base/parts/tree/browser/treeDefaults'); import { CommonKeybindings } from 'vs/base/common/keyCodes'; import { Marker } from 'vs/workbench/parts/markers/common/MarkersModel'; import { IWorkbenchEditorService } from 'vs/workbench/services/editor/common/editorService'; -import {ICodeEditorService} from 'vs/editor/common/services/codeEditorService'; -import {ICommonCodeEditor} from 'vs/editor/common/editorCommon'; import { IMarker } from 'vs/platform/markers/common/markers'; export class Controller extends treedefaults.DefaultController { - constructor(@IWorkbenchEditorService private editorService: IWorkbenchEditorService, - @ICodeEditorService private codeEditorService: ICodeEditorService) { + constructor(@IWorkbenchEditorService private editorService: IWorkbenchEditorService) { super({ clickBehavior: treedefaults.ClickBehavior.ON_MOUSE_UP }); this.downKeyBindingDispatcher.set(CommonKeybindings.SHIFT_UP_ARROW, this.onUp.bind(this)); this.downKeyBindingDispatcher.set(CommonKeybindings.SHIFT_DOWN_ARROW, this.onDown.bind(this)); @@ -58,29 +55,4 @@ export class Controller extends treedefaults.DefaultController { } return false; } - - public _preview(element: any): void { - if (element instanceof Marker) { - let marker = element.marker; - const editors = this.codeEditorService.listCodeEditors(); - let editor: ICommonCodeEditor; - for (let candidate of editors) { - if (!candidate.getModel() - || candidate.getModel().getAssociatedResource().toString() !== marker.resource.toString()) { - - continue; - } - - if (!editor || this.editorService.getActiveEditor() - && candidate === this.editorService.getActiveEditor().getControl()) { - - editor = candidate; - } - } - - if (editor) { - editor.revealRangeInCenter(marker); - } - } - } }