From 81ebd9a26b7acddf24e87382bea5bd437a57c09e Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 4 Aug 2011 08:41:56 -0600
Subject: [PATCH] gtk: set app name on startup

Closes PR 11896
Closes PR 11408

original commit: 941dacd966913ebbeca150e0b5cd193788b5bd90
---
 collects/mred/private/wx/gtk/queue.rkt | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/collects/mred/private/wx/gtk/queue.rkt b/collects/mred/private/wx/gtk/queue.rkt
index 766176e7..06642853 100644
--- 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"