[ NoAccessorMethod ]
[ Version ( deprecated = true , deprecated_since = "3.10" , since = "2.12" ) ]
public int gtk_tooltip_timeout { get; set; }
Warning: gtk_tooltip_timeout is deprecated since 3.10.
Time, in milliseconds, after which a tooltip could appear if the cursor is hovering on top of a widget.
This setting is ignored.