From 8aac682691f81a23d68230713557172aede22597 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 1 Feb 2010 19:52:05 +0000 Subject: [PATCH] hierlist now has the scrollbar svn: r17931 --- collects/drscheme/private/language-configuration.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drscheme/private/language-configuration.ss b/collects/drscheme/private/language-configuration.ss index d8a324e209..6d6eeaecc3 100644 --- a/collects/drscheme/private/language-configuration.ss +++ b/collects/drscheme/private/language-configuration.ss @@ -408,7 +408,7 @@ (define languages-hier-list (new selectable-hierlist% [parent languages-hier-list-panel] - [style '(no-border no-hscroll hide-vscroll transparent)])) + [style '(no-border no-hscroll auto-vscroll transparent)])) (define details-outer-panel (make-object vertical-pane% outermost-panel)) (define details/manual-parent-panel (make-object vertical-panel% details-outer-panel)) (define details-panel (make-object panel:single% details/manual-parent-panel))