diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss index bda0cf14..bce6e6f1 100644 --- a/collects/mred/prefs.ss +++ b/collects/mred/prefs.ss @@ -282,9 +282,9 @@ (send bottom-panel change-children (lambda (l) (cons (make-object mred:panel% bottom-panel) l))) - (send popup-menu stretchable-in-x? #f) - (send bottom-panel stretchable-in-y? #f) - (send top-panel stretchable-in-y? #f) + (send popup-menu stretchable-in-x #f) + (send bottom-panel stretchable-in-y #f) + (send top-panel stretchable-in-y #f) (send single-panel change-children (lambda (l) panels)) (send popup-menu set-selection 0) (send single-panel active-child (car panels)) @@ -311,4 +311,4 @@ (send preferences-dialog show #t) (set! preferences-dialog (make-preferences-dialog))))))))) - (read-user-preferences))) \ No newline at end of file + (read-user-preferences)))