Workaround to correctly work without inIFlasher
See https://bugzilla.mozilla.org/show_bug.cgi?id=1018324
Also see for alternative: https://bugzilla.mozilla.org/show_bug.cgi?id=368608 (but we already have style-based highlighting)
Note: workaround for #25 will not work anymore
Force repaint tooltip in Firefox 33+
(still buggy in Windows 7 with classic theme)
(yet another workaround for #25)
Disable force repaint hacks by default (for better performance)
(#25)
Reset tooltip size only ofter changes
(#25)
Don't repaint after popup* events from our tooltip
(#25)
Increase delay for force repaint after "popupshowing" event
(#25)