unbreak windows

2015-08-18 15:01:37 -06:00 · 2015-08-18 15:01:37 -06:00 · 92842cd195
commit 92842cd195
parent e67865a8ba
1 changed files with 2 additions and 1 deletions
--- a/gui-lib/mred/private/wx/win32/platform.rkt
+++ b/gui-lib/mred/private/wx/win32/platform.rkt
@ -92,4 +92,5 @@
   make-gl-bitmap
   check-for-break
   key-symbol-to-menu-key
-   needs-grow-box-spacer?))
+   needs-grow-box-spacer?
+   graphical-system-type))