diff options
Diffstat (limited to 'plugins/gtk+/gtk+.xml.in')
| -rw-r--r-- | plugins/gtk+/gtk+.xml.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/plugins/gtk+/gtk+.xml.in b/plugins/gtk+/gtk+.xml.in index 51e66e03..ff4905f3 100644 --- a/plugins/gtk+/gtk+.xml.in +++ b/plugins/gtk+/gtk+.xml.in @@ -3076,7 +3076,9 @@ <value id="GTK_CORNER_BOTTOM_RIGHT" _name="Bottom Right"/> </displayable-values> </property> - <property id="overlay-scrolling" optional="True" optional-default="False" since="3.16" custom-layout="True"/> + <property id="overlay-scrolling" since="3.16" custom-layout="True"> + <_tooltip>If overlay scrolling is enabled, scrollbars are only added as traditional widgets when a mouse is present</_tooltip> + </property> </properties> <signals> |