Tooltips —
Tooltips are the messages that appear next to a widget when the mouse pointer is held over it for a short amount of time. They are especially helpful for adding more verbose descriptions of things such as buttons in a toolbar. An individual tooltip belongs to a group of tooltips. A group is created with a call to tooltipsNew. Every tooltip in the group can then be turned off with a call to tooltipsDisable and enabled with tooltipsEnable. The length of time the user must keep the mouse over a widget before the tip is shown, can be altered with tooltipsSetDelay. This is set on a 'per group of tooltips' basis. To assign a tip to a particular widget, tooltipsSetTip is used.
tooltipsNew:: IO Tooltips |
tooltipsDisable:: TooltipsClass t => t -> IO () |
tooltipsEnable:: TooltipsClass t => t -> IO () |
tooltipsSetDelay:: TooltipsClass t => t -> Int -> IO () |
tooltipsSetTip:: (TooltipsClass t, WidgetClass w) => t -> w -> String -> String -> IO () |
To associate Tooltips to a widget it is has to have its own DrawWindow. Otherwise the widget must be set into an EventBox. Can this be done automatically? Perhaps even with tooltips_force_window()?
Disable Tooltips group.
| tooltipsDisable | :: t | :: IO () |
| t |
Causes all tooltips in tooltips to become inactive. Any widgets that have tips associated with that group will no longer display their tips until they are enabled again with tooltipsEnable.