[ Version ( since = "3.16" ) ]
public bool overlay_scrolling { get; set; }
Whether overlay scrolling is enabled or not.
If it is, the scrollbars are only added as traditional widgets when a mouse is present. Otherwise, they are overlayed on top of the content, as narrow indicators.
Note that overlay scrolling can also be globally disabled, with the GtkSettings::gtk-overlay-scrolling setting.