From e44662a8992d62b01c64a3b69b4db7bfa22dc026 Mon Sep 17 00:00:00 2001
From: Alberto Griggio <agriggio@users.noreply.github.com>
Date: Thu, 26 Oct 2017 09:08:44 +0200
Subject: [PATCH] updated comment about margin and GTK < 3.20

---
 rtgui/guiutils.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rtgui/guiutils.cc b/rtgui/guiutils.cc
index 42696abb4..49ce25b60 100644
--- a/rtgui/guiutils.cc
+++ b/rtgui/guiutils.cc
@@ -1187,7 +1187,7 @@ MyFileChooserButton::MyFileChooserButton(const Glib::ustring &title, Gtk::FileCh
     signal_clicked().connect(sigc::mem_fun(*this, &MyFileChooserButton::show_chooser));
 
     if (GTK_MINOR_VERSION < 20) {
-        set_border_width(2); // agriggio: margin doesn't seem to work for me on GTK 3.18
+        set_border_width(2); // margin doesn't work on GTK < 3.20
     }
     
     set_name("MyFileChooserButton");