Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-04-24 02:28:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #18997 from mjbvz/md-scroll-editor-on-scroll-preview

Browse Source 
Add Markdown Preview to Editor Scroll Syncronization
This commit is contained in:
Alexandru Dima
2017-01-23 16:47:39 +01:00
committed by GitHub
parent 61ea4c25b8 bc27d5c88e
commit e40b04faf8
11 changed files with 107 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/vs/workbench/api/node/extHostTypes.ts
View File

@@ -920,7 +920,8 @@ export enum TextDocumentSaveReason {
export enum TextEditorRevealType {
Default = 0,
InCenter = 1,
InCenterIfOutsideViewport = 2
InCenterIfOutsideViewport = 2,
AtTop = 3
}
export enum TextEditorSelectionChangeKind {

27
src/vs/workbench/api/node/mainThreadEditorsTracker.ts
View File

@@ -56,7 +56,8 @@ export interface IFocusTracker {
export enum TextEditorRevealType {
Default = 0,
InCenter = 1,
InCenterIfOutsideViewport = 2
InCenterIfOutsideViewport = 2,
AtTop = 3
}
export interface IUndoStopOptions {
@@ -288,14 +289,22 @@ export class MainThreadTextEditor {
console.warn('revealRange on invisible editor');
return;
}
if (revealType === TextEditorRevealType.Default) {
this._codeEditor.revealRange(range);
} else if (revealType === TextEditorRevealType.InCenter) {
this._codeEditor.revealRangeInCenter(range);
} else if (revealType === TextEditorRevealType.InCenterIfOutsideViewport) {
this._codeEditor.revealRangeInCenterIfOutsideViewport(range);
} else {
console.warn('Unknown revealType');
switch (revealType) {
case TextEditorRevealType.Default:
this._codeEditor.revealRange(range);
break;
case TextEditorRevealType.InCenter:
this._codeEditor.revealRangeInCenter(range);
break;;
case TextEditorRevealType.InCenterIfOutsideViewport:
this._codeEditor.revealRangeInCenterIfOutsideViewport(range);
break;
case TextEditorRevealType.AtTop:
this._codeEditor.revealRangeAtTop(range);
break;
default:
console.warn('Unknown revealType');
break;
}
}