From fee3d20e44d2b5cfb00a1aeda3f7ba26775ab2d6 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Sat, 7 Oct 2017 20:12:18 -0400 Subject: [PATCH] shortcuts: Add css names to some widgets This will let us put some styling in place for these. --- gtk/gtkshortcutsgroup.c | 2 ++ gtk/gtkshortcutssection.c | 1 + 2 files changed, 3 insertions(+) diff --git a/gtk/gtkshortcutsgroup.c b/gtk/gtkshortcutsgroup.c index d1775d920e..5eda2d1538 100644 --- a/gtk/gtkshortcutsgroup.c +++ b/gtk/gtkshortcutsgroup.c @@ -361,6 +361,8 @@ gtk_shortcuts_group_class_init (GtkShortcutsGroupClass *klass) (G_PARAM_READABLE | G_PARAM_STATIC_STRINGS)); g_object_class_install_properties (object_class, LAST_PROP, properties); + + gtk_widget_class_set_css_name (widget_class, "shortcuts-group"); } static void diff --git a/gtk/gtkshortcutssection.c b/gtk/gtkshortcutssection.c index ac1399b2c2..527e35da04 100644 --- a/gtk/gtkshortcutssection.c +++ b/gtk/gtkshortcutssection.c @@ -411,6 +411,7 @@ gtk_shortcuts_section_class_init (GtkShortcutsSectionClass *klass) GDK_KEY_Page_Down, GDK_CONTROL_MASK, "change-current-page", 1, G_TYPE_INT, 1); + gtk_widget_class_set_css_name (widget_class, "shortcuts-section"); } static void