.

original commit: 19e8245c9207536d71032e07ade37f0ea7fa7d5f
2002-09-21 03:44:30 +00:00 · 2002-09-21 03:44:30 +00:00 · 8fd038f8d5
commit 8fd038f8d5
parent 8374a432cf
1 changed files with 2 additions and 0 deletions
--- 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