diff options
| author | Wolfgang Ulbrich <[email protected]> | 2015-12-02 22:44:26 +0100 |
|---|---|---|
| committer | Wolfgang Ulbrich <[email protected]> | 2015-12-02 22:44:26 +0100 |
| commit | 0cfb02ca611bc305d768c3caaaae7e56ccbeb877 (patch) | |
| tree | 3535c0f0bc4df9924674e07449aef602fe39eb2d | |
| parent | d62e47b12e49500884839a14bb816babbf3ecdd7 (diff) | |
| download | marco-0cfb02ca611bc305d768c3caaaae7e56ccbeb877.tar.bz2 marco-0cfb02ca611bc305d768c3caaaae7e56ccbeb877.tar.xz | |
Gtk3: fix a fogotten GtkMisc deprecation
| -rw-r--r-- | src/ui/tabpopup.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ui/tabpopup.c b/src/ui/tabpopup.c index a1c8e229..6a0d3dfb 100644 --- a/src/ui/tabpopup.c +++ b/src/ui/tabpopup.c @@ -364,7 +364,14 @@ meta_ui_tab_popup_new (const MetaTabEntry *entries, obj = gtk_widget_get_accessible (popup->label); atk_object_set_role (obj, ATK_ROLE_STATUSBAR); +#if GTK_CHECK_VERSION (3, 14, 0) + gtk_widget_set_margin_start (popup->label, 3); + gtk_widget_set_margin_end (popup->label, 3); + gtk_widget_set_margin_top (popup->label, 3); + gtk_widget_set_margin_bottom (popup->label, 3); +#else gtk_misc_set_padding (GTK_MISC (popup->label), 3, 3); +#endif gtk_box_pack_end (GTK_BOX (vbox), popup->label, FALSE, FALSE, 0); |