updated comment about margin and GTK < 3.20

2017-10-26 09:08:44 +02:00 · 2017-10-26 09:08:44 +02:00 · e44662a899
commit e44662a899
parent c3bdd47a62
1 changed files with 1 additions and 1 deletions
--- 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");