diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index bf074d71..ec2487f2 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -1697,6 +1697,7 @@ (set! fixed-height? #f) (set-min-height orig-hard))) (update-size))] + [get-line-count (lambda () (and fixed-height? fixed-height-lines))] [update-size (lambda () (let ([edit (get-editor)])