diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2019-05-22 19:24:24 +0000 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2019-05-31 14:07:15 +0000 |
| commit | 2ae6f1a74112705ce8b5c7c0305ac4232c088f17 (patch) | |
| tree | 3bab7ba949890eee31abb992b96420005aefee29 /gtk/gtksettings.c | |
| parent | 8145872e276fb29007e1fc2f5977dcae671ff372 (diff) | |
| download | gtk+-2ae6f1a74112705ce8b5c7c0305ac4232c088f17.tar.gz | |
Add a gtk-overlay-scrolling setting
This is in preparation for letting user opt out of
overlay scrolling in the control-center.
Diffstat (limited to 'gtk/gtksettings.c')
| -rw-r--r-- | gtk/gtksettings.c | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/gtk/gtksettings.c b/gtk/gtksettings.c index 18c3fd4eb0..77aeb3bf1b 100644 --- a/gtk/gtksettings.c +++ b/gtk/gtksettings.c @@ -191,7 +191,8 @@ enum { PROP_ENABLE_PRIMARY_PASTE, PROP_RECENT_FILES_ENABLED, PROP_LONG_PRESS_TIME, - PROP_KEYNAV_USE_CARET + PROP_KEYNAV_USE_CARET, + PROP_OVERLAY_SCROLLING }; /* --- prototypes --- */ @@ -1002,6 +1003,22 @@ gtk_settings_class_init (GtkSettingsClass *class) GTK_PARAM_READWRITE), NULL); g_assert (result == PROP_KEYNAV_USE_CARET); + + /** + * GtkSettings:gtk-overlay-scrolling: + * + * Whether scrolled windows may use overlayed scrolling indicators. + * If this is set to %FALSE, scrolled windows will have permanent + * scrollbars. + */ + result = settings_install_property_parser (class, + g_param_spec_boolean ("gtk-overlay-scrolling", + P_("Whether to use overlay scrollbars"), + P_("Whether to use overlay scrollbars"), + TRUE, + GTK_PARAM_READWRITE), + NULL); + g_assert (result == PROP_OVERLAY_SCROLLING); } static GtkSettings * |