From af997454e042b51e5ef44e859dbe46514d1ba92e Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 16 Jan 2006 07:39:35 +0000 Subject: [PATCH] gui fix? svn: r1838 --- collects/handin-client/client-gui.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/handin-client/client-gui.ss b/collects/handin-client/client-gui.ss index 1acd1290c0..fc13a3688a 100644 --- a/collects/handin-client/client-gui.ss +++ b/collects/handin-client/client-gui.ss @@ -526,6 +526,7 @@ (send old-user-box show #f) (send uninstall-box show #f) (let ([new? (equal? "" (remembered-user))]) + (send single active-child (if new? old-user-box new-user-box)) (send single active-child (if new? new-user-box old-user-box)) (send tabs set-selection (if new? 0 1))) (activate-new)