diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 26572342..ccd3d2e1 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -4596,6 +4596,8 @@ (define save-choices (map string->immutable-string choices)) + (define hidden-tabs? #f) + (public* [get-number (lambda () (length save-choices))] [append (entry-point