diff --git a/src/mred/wrap/mred.ss b/src/mred/wrap/mred.ss index 493d7dba..53a204b0 100644 --- a/src/mred/wrap/mred.ss +++ b/src/mred/wrap/mred.ss @@ -2269,7 +2269,7 @@ (class (wx-make-pane% wx:windowless-panel% #f) (mred proxy parent style) (override [init-min (lambda (x) (if (eq? (system-type) 'macos) - 16 + 15 0))]) (sequence (super-init mred proxy parent style))))