cocoa: make grow-box-spacer zero-width for 10.7

collects/mred/private/wx/cocoa/platform.rkt

@@ -88,4 +88,5 @@
    make-screen-bitmap
    make-gl-bitmap
    check-for-break
-   key-symbol-to-menu-key))
+   key-symbol-to-menu-key
+   needs-grow-box-spacer?))

collects/mred/private/wx/cocoa/procs.rkt

@@ -62,7 +62,8 @@
  play-sound
  file-creator-and-type
  file-selector
- key-symbol-to-menu-key)
+ key-symbol-to-menu-key
+ needs-grow-box-spacer?)
 
 (import-class NSScreen NSCursor NSMenu)
 
@@ -188,3 +189,6 @@
 
 (define (get-highlight-text-color)
   #f)
+
+(define (needs-grow-box-spacer?)
+  (not (version-10.7-or-later?)))

collects/mred/private/wx/cocoa/utils.rkt

@@ -22,7 +22,8 @@
               ->wxb
               ->wx
               old-cocoa?
-              version-10.6-or-later?)
+              version-10.6-or-later?
+              version-10.7-or-later?)
  define-mz)
 
 (define cocoa-lib (ffi-lib (format "/System/Library/Frameworks/Cocoa.framework/Cocoa")))
@@ -87,3 +88,5 @@
   (NSAppKitVersionNumber . < . 949))
 (define (version-10.6-or-later?)
   (NSAppKitVersionNumber . >= . 1038))
+(define (version-10.7-or-later?)
+  (NSAppKitVersionNumber . >= . 1138))

collects/mred/private/wx/gtk/platform.rkt

@@ -89,4 +89,5 @@
    make-screen-bitmap
    make-gl-bitmap
    check-for-break
-   key-symbol-to-menu-key))
+   key-symbol-to-menu-key
+   needs-grow-box-spacer?))

collects/mred/private/wx/gtk/procs.rkt

@@ -58,7 +58,8 @@
  get-panel-background
  fill-private-color
  get-color-from-user
- key-symbol-to-menu-key)
+ key-symbol-to-menu-key
+ needs-grow-box-spacer?)
 
 (define (find-graphical-system-path what)
   (case what
@@ -155,3 +156,5 @@
     bm))
 
 (define (check-for-break) #f)
+
+(define (needs-grow-box-spacer?) #f)

collects/mred/private/wx/platform.rkt

@@ -75,5 +75,6 @@
                 make-screen-bitmap
                 make-gl-bitmap
                 check-for-break
-                key-symbol-to-menu-key)
+                key-symbol-to-menu-key
+                needs-grow-box-spacer?)
   ((dynamic-require platform-lib 'platform-values)))

collects/mred/private/wx/win32/platform.rkt

@@ -89,4 +89,5 @@
    make-screen-bitmap
    make-gl-bitmap
    check-for-break
-   key-symbol-to-menu-key))
+   key-symbol-to-menu-key
+   needs-grow-box-spacer?))

collects/mred/private/wx/win32/procs.rkt

@@ -57,7 +57,8 @@
  special-control-key
  special-option-key
  get-color-from-user
- key-symbol-to-menu-key)
+ key-symbol-to-menu-key
+ needs-grow-box-spacer?)
 
 (define (find-graphical-system-path what)
   #f)
@@ -113,3 +114,5 @@
   (make-object win32-bitmap% w h #f c))
 
 (define (check-for-break) #f)
+
+(define (needs-grow-box-spacer?) #f)

collects/mred/private/wxpanel.rkt

@@ -841,8 +841,7 @@
   (define wx-grow-box-pane%
     (class100 (wx-make-pane% wx:windowless-panel% #f) (mred proxy parent style label)
       (override
-	[init-min (lambda (x) (if (or (eq? (system-type) 'macos)
+	[init-min (lambda (x) (if (wx:needs-grow-box-spacer?)
-				      (eq? (system-type) 'macosx))
 				  15
 				  0))])
       (sequence