--- mysql-workbench-6.3.5.0/backend/wbprivate/workbench/wb_context.cpp	2015-10-31 17:03:11.233299305 +0100
+++ mysql-workbench-6.3.5/backend/wbprivate/workbench/wb_context.cpp	2015-10-31 16:56:01.385285550 +0100
@@ -322,6 +322,12 @@
       force_opengl_rendering= true;
     else 
 #endif
+    if (strcmp(argv[i], "--g-") == 0 || strcmp(argv[i], "--gtk-"))
+    {
+        // GTK+ Applications Common commandline options
+        // @see https://developer.gnome.org/gtk2/stable/gtk-running.html
+    }
+    else
     if (strcmp(argv[i], OPPREFIX"help") == 0 || strcmp(argv[i], "-h") == 0)
     {
       show_help(argv[0]);