From 974350472ce94259577626d85e4e8945dd1cac27 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 1 Jan 2013 13:12:00 -0600 Subject: [PATCH] whoops, fix a bug introduced in 0f9674e1ddd598a97bec61a9e759102182a26789 --- collects/drracket/private/unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drracket/private/unit.rkt b/collects/drracket/private/unit.rkt index f951e8220c..454077ae57 100644 --- a/collects/drracket/private/unit.rkt +++ b/collects/drracket/private/unit.rkt @@ -4571,7 +4571,7 @@ module browser threading seems wrong. (when (= 2 (length (send resizable-panel get-children))) (send resizable-panel set-percentages - (let ([p (preferences:get 'drracket:window-size-percentage)]) + (let ([p (preferences:get 'drracket:unit-window-size-percentage)]) (list p (- 1 p))))) (set-label-prefix (string-constant drscheme))