gtk: set app name on startup

Closes PR 11896 Closes PR 11408 original commit: 941dacd966913ebbeca150e0b5cd193788b5bd90
2011-08-04 08:41:56 -06:00 · 2011-08-04 08:41:56 -06:00 · 81ebd9a26b
commit 81ebd9a26b
parent 14aaa67a74
1 changed files with 5 additions and 7 deletions
--- a/collects/mred/private/wx/gtk/queue.rkt
+++ b/collects/mred/private/wx/gtk/queue.rkt
@ -63,13 +63,11 @@
                                ;; all other ignored flags have a single argument
                                (loop (+ i 2) #t)])))))])
      (let-values ([(new-argc new-argv)
-                    (if (null? args)
-                        (values 0 #f)
-                        (values (add1 (length args))
-                                (cast (cons (ptr-ref argv _bytes 0)
-                                            args)
-                                      (_list i _bytes)
-                                      _pointer)))])
+                    (values (add1 (length args))
+                            (cast (cons (path->bytes (find-system-path 'run-file))
+                                        args)
+                                  (_list i _bytes)
+                                  _pointer))])
        (unless (gtk_init_check new-argc new-argv)
          (error (format
                  "Gtk initialization failed for display ~s"