Settings.gtkTooltipTimeout

Get gtkTooltipTimeout property.

More...
  1. int gtkTooltipTimeout [@property getter]
    class Settings
    @property
    int
    gtkTooltipTimeout
    ()
  2. int gtkTooltipTimeout [@property setter]

Return Value

Type: int

Time, in milliseconds, after which a tooltip could appear if the cursor is hovering on top of a widget.

Detailed Description

Deprecated: This setting is ignored.