overlay_scrolling


Description:

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 overlaid on top of the content, as narrow indicators.

Note that overlay scrolling can also be globally disabled, with the [[email protected]:gtk-overlay-scrolling] setting.




2022 vala-language.org