|
@ -55,7 +55,7 @@ export class LineHoverController implements Disposable { |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
private onActiveLinesChanged(e: LinesChangeEvent) { |
|
|
private onActiveLinesChanged(e: LinesChangeEvent) { |
|
|
if (e.pending || e.reason !== 'editor') return; |
|
|
|
|
|
|
|
|
if (e.pending) return; |
|
|
|
|
|
|
|
|
if (e.editor === undefined || e.lines === undefined) { |
|
|
if (e.editor === undefined || e.lines === undefined) { |
|
|
this.unregister(); |
|
|
this.unregister(); |
|
@ -63,9 +63,15 @@ export class LineHoverController implements Disposable { |
|
|
return; |
|
|
return; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
if (e.reason !== 'editor' && this.registered) return; |
|
|
|
|
|
|
|
|
this.register(e.editor); |
|
|
this.register(e.editor); |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
get registered() { |
|
|
|
|
|
return this._hoverProviderDisposable !== undefined; |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
async provideDetailsHover( |
|
|
async provideDetailsHover( |
|
|
document: TextDocument, |
|
|
document: TextDocument, |
|
|
position: Position, |
|
|
position: Position, |
|
|