Settings.gtkTooltipTimeout

Set gtkTooltipTimeout property.

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

Parameters

propval 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.