changeset 1921:bc70b3e9dbb1

Fix building with MDI on earlier than GTK 3.12.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Thu, 29 Sep 2016 00:18:19 +0000
parents 31179c5a3c5a
children a2a8145f3148
files gtk3/dw.c
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/gtk3/dw.c	Wed Sep 28 23:30:53 2016 +0000
+++ b/gtk3/dw.c	Thu Sep 29 00:18:19 2016 +0000
@@ -406,7 +406,11 @@
 
    child_box = gtk_event_box_new ();
    child_widget_box = gtk_event_box_new ();
+#if GTK_CHECK_VERSION(3,12,0)               
    gtk_widget_set_margin_start(child_widget_box, 2);
+#else
+   gtk_widget_set_margin_left(child_widget_box, 2);
+#endif
    top_event_box = gtk_event_box_new ();
    bottom_event_box = gtk_event_box_new ();
    grid = gtk_grid_new ();