diff options
Diffstat (limited to 'pluma/pluma-utils.c')
| -rw-r--r-- | pluma/pluma-utils.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pluma/pluma-utils.c b/pluma/pluma-utils.c index 571cf81f..657003d6 100644 --- a/pluma/pluma-utils.c +++ b/pluma/pluma-utils.c @@ -1097,7 +1097,14 @@ handle_builder_error (const gchar *message, ...) g_free (msg_plain); g_free (msg); +#if GTK_CHECK_VERSION (3, 14, 0) + gtk_widget_set_margin_start (label, 5); + gtk_widget_set_margin_end (label, 5); + gtk_widget_set_margin_top (label, 5); + gtk_widget_set_margin_bottom (label, 5); +#else gtk_misc_set_padding (GTK_MISC (label), 5, 5); +#endif return label; } |