Property
GtkSettings:gtk-tooltip-timeout
deprecated: 3.10 since: 2.12
Description [src]
Time, in milliseconds, after which a tooltip could appear if the cursor is hovering on top of a widget.
Type: | gint |
Available since: | 2.12 |
Deprecated since: | 3.10 |
This setting is ignored. |