# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1475108299 0
# Node ID bc70b3e9dbb1c818dd73a6bd8cd9c72eedbdf00f
# Parent  31179c5a3c5a64bb5dbc046607f49065f0cbf56e
Fix building with MDI on earlier than GTK 3.12.

diff -r 31179c5a3c5a -r bc70b3e9dbb1 gtk3/dw.c
--- 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 ();