diff options
| author | Emmanuele Bassi <ebassi@gnome.org> | 2015-09-01 23:46:40 +0100 |
|---|---|---|
| committer | Emmanuele Bassi <ebassi@gnome.org> | 2015-09-01 23:46:40 +0100 |
| commit | 06488adc9a91ad222a8e370198b53f78d1498b99 (patch) | |
| tree | bd5851140534ffc98f71088c46251c7f15287587 /gtk/gtksettings.c | |
| parent | 573efb7b882f1aa638267183a39c196efda24623 (diff) | |
| download | gtk+-06488adc9a91ad222a8e370198b53f78d1498b99.tar.gz | |
docs: Fix GtkSettings property stanzas
Otherwise gtk-button-images and gtk-menu-images will not be recognised
as properties.
https://bugzilla.gnome.org/show_bug.cgi?id=754421
Diffstat (limited to 'gtk/gtksettings.c')
| -rw-r--r-- | gtk/gtksettings.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk/gtksettings.c b/gtk/gtksettings.c index 1f75dff2ee..1d2166ad83 100644 --- a/gtk/gtksettings.c +++ b/gtk/gtksettings.c @@ -1311,7 +1311,7 @@ gtk_settings_class_init (GtkSettingsClass *class) g_assert (result == PROP_APPLICATION_PREFER_DARK_THEME); /** - * GtkSettings::gtk-button-images: + * GtkSettings:gtk-button-images: * * Whether images should be shown on buttons * @@ -1361,7 +1361,7 @@ gtk_settings_class_init (GtkSettingsClass *class) g_assert (result == PROP_ENTRY_PASSWORD_HINT_TIMEOUT); /** - * GtkSettings::gtk-menu-images: + * GtkSettings:gtk-menu-images: * * Whether images should be shown in menu items * |