From 23aa0562aabc2c028202a3291dd03c91dd78ea88 Mon Sep 17 00:00:00 2001
From: Alberto Griggio <agriggio@users.noreply.github.com>
Date: Sun, 25 Nov 2018 00:00:40 +0100
Subject: [PATCH] crop tool: fix grid spacing for gtkmm < 3.20

---
 rtgui/crop.cc | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/rtgui/crop.cc b/rtgui/crop.cc
index 2484b9060..5bfeca61b 100644
--- a/rtgui/crop.cc
+++ b/rtgui/crop.cc
@@ -286,6 +286,20 @@ Crop::Crop():
 
     nx = ny = nw = nh = 0;
     lastRotationDeg = 0;
+
+//GTK318
+#if GTK_MAJOR_VERSION == 3 && GTK_MINOR_VERSION < 20
+    methodgrid->set_row_spacing(4);
+    methodgrid->set_column_spacing(4);
+    settingsgrid->set_row_spacing(4);
+    settingsgrid->set_column_spacing(4);
+    ppigrid->set_row_spacing(4);
+    ppigrid->set_column_spacing(4);
+    ppisubgrid->set_row_spacing(4);
+    ppisubgrid->set_column_spacing(4);
+#endif
+//GTK318
+    
     show_all ();
 }