From dddd0a924389dd497f2f0d4aca0ef5172bea180b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 4 Oct 2006 22:46:42 +0000 Subject: [PATCH] added get-tabs svn: r4485 --- collects/drscheme/private/unit.ss | 1 + 1 file changed, 1 insertion(+) 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.