waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #976 from Tyriar/975_mousezone_leave

Browse Source 
Ensure leave is called when leaving a MouseZone
This commit is contained in:
Daniel Imms
2017-09-14 09:01:28 -07:00
committed by GitHub
parent c2502bf0b0 2114bc4837
commit a611fee7af
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/input/MouseZoneManager.ts
+7 -5
View File
@@ -102,10 +102,14 @@ export class MouseZoneManager implements IMouseZoneManager {
return;
}
// Fire the hover end callback if a zone was being hovered
// Fire the hover end callback and cancel any existing timer if a new zone
// is being hovered
if (this._currentZone) {
this._currentZone.leaveCallback();
this._currentZone = null;
if (this._tooltipTimeout) {
clearTimeout(this._tooltipTimeout);
}
}
// Exit if there is not zone
@@ -119,14 +123,12 @@ export class MouseZoneManager implements IMouseZoneManager {
zone.hoverCallback(e);
}
// Restart the timeout
if (this._tooltipTimeout) {
clearTimeout(this._tooltipTimeout);
}
// Restart the tooltip timeout
this._tooltipTimeout = <number><any>setTimeout(() => this._onTooltip(e), HOVER_DURATION);
}
private _onTooltip(e: MouseEvent): void {
this._tooltipTimeout = null;
const zone = this._findZoneEventAt(e);
if (zone && zone.tooltipCallback) {
zone.tooltipCallback(e);