Comment 27 for bug 239462

Revision history for this message
In , John Morkel (jmorkel) wrote :

Created attachment 345482
Revised patch making tooltip display duration user configurable

Added revised patch fixing up issues raised in Comment #24.

The preference "browser.preferences.tooltipHideTime" must be created by the user. The time is specified in milliseconds. The default time of 5 seconds is used if the preference isn't defined.