提交 36da5693 编写于 作者: B Benjamin Pasero

code polish

上级 30cc9b32
...@@ -46,7 +46,7 @@ export class Controller extends treedefaults.DefaultController { ...@@ -46,7 +46,7 @@ export class Controller extends treedefaults.DefaultController {
return false; return false;
} }
private openFileAtElement(element: any, preserveFocus: boolean, sideByside: boolean, pinned: boolean) { private openFileAtElement(element: any, preserveFocus: boolean, sideByside: boolean, pinned: boolean): boolean {
if (element instanceof Marker) { if (element instanceof Marker) {
this.telemetryService.publicLog('problems.marker.opened', {source: element.source}); this.telemetryService.publicLog('problems.marker.opened', {source: element.source});
let marker = <IMarker>element.marker; let marker = <IMarker>element.marker;
......
...@@ -921,7 +921,7 @@ export class SearchViewlet extends Viewlet { ...@@ -921,7 +921,7 @@ export class SearchViewlet extends Viewlet {
private openReplacePreviewEditor(element: FileMatchOrMatch, preserveFocus?: boolean, sideBySide?: boolean, pinned?: boolean): TPromise<any> { private openReplacePreviewEditor(element: FileMatchOrMatch, preserveFocus?: boolean, sideBySide?: boolean, pinned?: boolean): TPromise<any> {
this.telemetryService.publicLog('replace.open.previewEditor'); this.telemetryService.publicLog('replace.open.previewEditor');
return this.replaceService.getInput(element instanceof Match ? element.parent() : element, this.viewModel.replaceText).then((editorInput) => { return this.replaceService.getInput(element instanceof Match ? element.parent() : element, this.viewModel.replaceText).then((editorInput) => {
this.editorService.openEditor(editorInput, {preserveFocus: preserveFocus, pinned: pinned}).then((editor) => { this.editorService.openEditor(editorInput, {preserveFocus: preserveFocus, pinned}).then((editor) => {
let editorControl= (<IDiffEditor>editor.getControl()); let editorControl= (<IDiffEditor>editor.getControl());
if (element instanceof Match) { if (element instanceof Match) {
editorControl.revealLineInCenter(element.range().startLineNumber); editorControl.revealLineInCenter(element.range().startLineNumber);
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册