From 7f1d8b3d9cf89fd73012e23b6350ff341741f53b Mon Sep 17 00:00:00 2001
From: "gavin%gavinsharp.com"
 <gavin%gavinsharp.com@18797224-902f-48f8-a5cc-f745e15eee43>
Date: Sat, 17 Sep 2005 18:59:20 +0000
Subject: [PATCH] Followup patch to bug 279497: Selected profile in profile
 manager does not always appear focused/highlighted, patch by
 moz_bug_r_a4@yahoo.com, r=mconnor

git-svn-id: svn://10.0.0.236/trunk@180471 18797224-902f-48f8-a5cc-f745e15eee43
---
 mozilla/toolkit/profile/content/profileSelection.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/mozilla/toolkit/profile/content/profileSelection.js b/mozilla/toolkit/profile/content/profileSelection.js
index 01f41a66d27..0c779c33a1e 100644
--- a/mozilla/toolkit/profile/content/profileSelection.js
+++ b/mozilla/toolkit/profile/content/profileSelection.js
@@ -83,7 +83,10 @@ function startup()
       listitem.profile = profile;
       try {
         if (profile === gProfileService.selectedProfile) {
-          setTimeout(function f(a) { profilesElement.selectedItem = a; }, 0, listitem);
+          setTimeout(function(a) {
+            profilesElement.ensureElementIsVisible(a);
+            profilesElement.selectItem(a);
+          }, 0, listitem);
         }
       }
       catch(e) { }