From 3493e0b4201ee1d30dea4aa0eb36f975b595ac45 Mon Sep 17 00:00:00 2001 From: Sandeep Somavarapu Date: Thu, 2 Jun 2016 09:59:29 +0200 Subject: [PATCH] Clean up --- .../markers/browser/MarkersTreeController.ts | 30 +------------------ 1 file changed, 1 insertion(+), 29 deletions(-) diff --git a/src/vs/workbench/parts/markers/browser/MarkersTreeController.ts b/src/vs/workbench/parts/markers/browser/MarkersTreeController.ts index c181fd3cff5..e653f74b182 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); - } - } - } } -- GitLab