suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Windows: use PLT_WIN_GTK for gtk; fix manifest embedding

Browse Source 
original commit: 815278fe432335ab131db5086aeaf4c1ea706999
This commit is contained in:
Matthew Flatt 2010-10-09 08:55:03 -06:00
parent 13098d303a
commit 94e7cacafc
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/mred/private/wx/platform.rkt
View File

@ -3,10 +3,14 @@
(provide (all-defined-out))
(define-runtime-path platform-lib
(case (system-type)
[(#;windows) '(lib "mred/private/wx/win32/platform.rkt")]
[(macosx) '(lib "mred/private/wx/cocoa/platform.rkt")]
[(windows unix) '(lib "mred/private/wx/gtk/platform.rkt")]))
(let ([gtk-lib
'(lib "mred/private/wx/gtk/platform.rkt")])
(case (system-type)
[(windows) (if (getenv "PLT_WIN_GTK")
gtk-lib
'(lib "mred/private/wx/win32/platform.rkt"))]
[(maxcosx) '(lib "mred/private/wx/cocoa/platform.rkt")]
[(unix) gtk-lib])))
(define-values (button%
canvas%