Hi

I think you can use 'gracket-launcher-names' to set a distinct name
https://docs.racket-lang.org/raco/setup-info.html?q=gracket-launcher-names#%28idx._%28gentag._18._%28lib._scribblings%2Fraco%2Fraco..scrbl%29%29%29

I think that is how it is done for the plt-games executable
https://github.com/racket/games/blob/master/info.rkt

It also set an icon

I think you can also use --ico ‹.ico-path› to set a distinct icon of you own

I'm not a windows user but I'm guessing;

raco exe --gui --ico ‹.ico-path› hello.rkt

https://docs.racket-lang.org/raco/exe.html

I'm sorry I don't have a windows machine so I can't test this.

Kind regards

Stephen




On Mon, Nov 23, 2020 at 4:05 PM JavaCommons <javacomm...@gmail.com> wrote:

> electron/rcedit solved the problem. With this solution, taskmanager's
> display also became "My GUI Program".
>
> https://github.com/electron/rcedit/releases/tag/v1.1.1
>
> [for 32bit racket] rcedit-x86.exe gui-01.exe --set-version-string
> FileDescription "My GUI Program"
>
> [for 64bit racket] rcedit-x64.exe gui-01.exe --set-version-string
> FileDescription "My GUI Program"
>
> 2020年11月23日月曜日 15:25:10 UTC+9 JavaCommons:
>
>> When I build Racket (scheme) GUI application like this:
>>
>> raco exe --gui gui-01.rkt
>>
>> Windows taksbar displays the name of the application as "Racket GUI
>> application". I want to change this name to something like "My GUI
>> Program". Is this possible?
>>
>> [image: 無題.png]
>>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/a1c215e5-6cbb-4b04-8d65-de6b54d0f0dan%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/a1c215e5-6cbb-4b04-8d65-de6b54d0f0dan%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAGHj7-J_iWJ%3D3U8P%2B4rw%3Dq_DPOzCS%2BKj9hnPiKO%2BieFWsdVkFA%40mail.gmail.com.

Reply via email to