kiteco/vscode-plugin
1
1
Fork 0
mirror of https://github.com/kiteco/vscode-plugin.git synced 2024-09-11 16:08:10 +03:00
Code Issues Projects Releases Wiki Activity

add delay to decoration ui

Browse Source
This commit is contained in:
Daniel Hung 2021-01-26 16:11:55 -08:00
parent 8f5ec93037
commit b1944a8bad
1 changed files with 29 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
src/codenav-decoration.ts
View File

@ -34,10 +34,12 @@ interface IOnDidChangeTextEditorSelection {
export default class KiteRelatedCodeDecorationsProvider {
private lineInfo: decorationStatusResponse | undefined
private activeEditor: TextEditor | undefined
private editTimeout: ReturnType<typeof setTimeout> | undefined
constructor(win: IOnDidChangeTextEditorSelection = window) {
this.lineInfo = undefined;
this.activeEditor = undefined;
this.editTimeout = undefined;
win.onDidChangeTextEditorSelection(this.onDidChangeTextEditorSelection.bind(this));
}
@ -57,6 +59,24 @@ export default class KiteRelatedCodeDecorationsProvider {
return;
}
if (typeof(event.kind) !== 'undefined' && event.kind !== 1 && typeof(this.editTimeout) === 'undefined') {
this.decorate(event);
} else {
this.clearDecorations(event.textEditor);
if (typeof(this.editTimeout) !== 'undefined') {
clearTimeout(this.editTimeout);
this.editTimeout = undefined;
}
this.editTimeout = setTimeout(() => {
this.decorate(event);
}, 1000);
}
}
private async decorate(event: TextEditorSelectionChangeEvent): Promise<void> {
const editor = event.textEditor;
const applicable = this.lineInfo && this.lineInfo.projectReady !== undefined;
const ready = this.lineInfo && this.lineInfo.projectReady;
@ -84,6 +104,8 @@ export default class KiteRelatedCodeDecorationsProvider {
};
editor.setDecorations(relatedCodeLineDecoration, [opts]);
}
this.editTimeout = undefined;
}
private hoverMessage(hover: string): MarkdownString {
@ -100,9 +122,7 @@ export default class KiteRelatedCodeDecorationsProvider {
}
private async reset(editor: TextEditor): Promise<void> {
editor.setDecorations(relatedCodeLineDecoration, []);
this.activeEditor = editor;
this.lineInfo = undefined;
this.clearDecorations(editor);
const info = await this.fetchDecoration(editor.document.fileName);
if (!info) {
return;
@ -110,6 +130,12 @@ export default class KiteRelatedCodeDecorationsProvider {
this.lineInfo = info;
}
private clearDecorations(editor: TextEditor) {
editor.setDecorations(relatedCodeLineDecoration, []);
this.activeEditor = editor;
this.lineInfo = undefined;
}
private async fetchDecoration(filename: string): Promise<decorationStatusResponse | null> {
try {
const resp = await KiteAPI.getLineDecoration(filename);