Merge branch 'dev' into hidpi-icons

2018-10-25 20:43:41 +02:00
parent 4eb8a8f70c fef2f73aa7
commit 785a0e6a46
216 changed files with 2636 additions and 1327 deletions
--- a/rtgui/main.cc
+++ b/rtgui/main.cc
@@ -131,7 +131,7 @@ int processLineParams ( int argc, char **argv )
        currParam = currParam.substr (1, currParam.length() - 2);
 #endif

-        if ( currParam.at (0) == '-' ) {
+        if ( currParam.at (0) == '-' && currParam.size() > 1 ) {
            switch ( currParam.at (1) ) {
                case '-':
                    // GTK --argument, we're skipping it