merge with dev - all warnings are not delete - come soon

2017-04-08 19:28:04 +02:00
parent 6608d5147c 73e14702dd
commit 398e862b2b
144 changed files with 5970 additions and 5235 deletions
--- a/rtgui/profilepanel.cc
+++ b/rtgui/profilepanel.cc
@@ -295,6 +295,8 @@ 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);