From f9c24918f6c246d98757f5de5fec56f3695853bd Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 24 Nov 2005 22:50:26 +0000 Subject: [PATCH] fixed PR 7697 svn: r1401 --- 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 dca0228e84..cf09956c00 100644 --- a/collects/drscheme/private/language-configuration.ss +++ b/collects/drscheme/private/language-configuration.ss @@ -518,7 +518,7 @@ (set! real-get/set-settings get/set-settings)) (cond - [(equal? (send language-to-show get-language-position) + [(equal? (send (or selected-language language-to-show) get-language-position) (send language get-language-position)) (get/set-settings settings-to-show) (send details-panel active-child language-details-panel)]