[ Version ( since = "2.12" ) ]
public static void trigger_tooltip_query (Display display)
Triggers a new tooltip query on display
, in order to update the current visible tooltip, or to show/hide the current
tooltip.
This function is useful to call when, for example, the state of the widget changed by a key press.
display |
a Display |