diff --git a/collects/drscheme/private/unit.ss b/collects/drscheme/private/unit.ss index 638c2514b9..db2da2b3ce 100644 --- a/collects/drscheme/private/unit.ss +++ b/collects/drscheme/private/unit.ss @@ -2924,6 +2924,7 @@ module browser threading seems wrong. (i 0) (defs-shown? #t) (ints-shown? #t)))) + (define/public-final (get-tabs) tabs) ;; current-tab : tab ;; corresponds to the tabs-panel's active button.