merge with dev

2018-12-11 07:40:54 +01:00
parent bfca2e2dd6 516be46550
commit d0029e81a4
99 changed files with 2409 additions and 1833 deletions
--- a/rtgui/profilepanel.cc
+++ b/rtgui/profilepanel.cc
@@ -307,8 +307,6 @@ void ProfilePanel::save_clicked (GdkEventButton* event)
    do {
        if (dialog.run() == Gtk::RESPONSE_OK) {

-            dialog.hide();
-
            std::string fname = dialog.get_filename();
            Glib::ustring ext = getExtension (fname);