mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-20 07:28:08 +03:00
👕
This commit is contained in:
parent
51b873345f
commit
945b57e2ca
@ -152,7 +152,7 @@ class TooltipManager {
|
|||||||
tooltip.hide()
|
tooltip.hide()
|
||||||
}
|
}
|
||||||
|
|
||||||
// note: adding a listener here adds a new listener for every tooltip element that's registered. Adding unnecessary listeners is bad for performance. It would be better to add/remove listeners when tooltips are actually created in the dom.
|
// note: adding a listener here adds a new listener for every tooltip element that's registered. Adding unnecessary listeners is bad for performance. It would be better to add/remove listeners when tooltips are actually created in the dom.
|
||||||
window.addEventListener('resize', hideTooltip)
|
window.addEventListener('resize', hideTooltip)
|
||||||
|
|
||||||
const disposable = new Disposable(() => {
|
const disposable = new Disposable(() => {
|
||||||
|
Loading…
Reference in New Issue
Block a user