From f47c5a779806279e76a325aef4ff7b4ee03dcdcd Mon Sep 17 00:00:00 2001 From: "dean_tessman%hotmail.com" Date: Thu, 14 Sep 2006 06:02:52 +0000 Subject: [PATCH] Bug 124323 - Active window indicator in Tasks menu should be the same as in Go menu This changes the Go menu to use radio menu items instead of checks. r=timeless, sr=blake git-svn-id: svn://10.0.0.236/trunk@211076 18797224-902f-48f8-a5cc-f745e15eee43 --- mozilla/suite/browser/sessionHistoryUI.js | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/mozilla/suite/browser/sessionHistoryUI.js b/mozilla/suite/browser/sessionHistoryUI.js index 67612367b06..3849e6424d6 100644 --- a/mozilla/suite/browser/sessionHistoryUI.js +++ b/mozilla/suite/browser/sessionHistoryUI.js @@ -23,6 +23,7 @@ * Jason Eager * Blake Ross * Peter Annema + * Dean Tessman * * Alternatively, the contents of this file may be used under the terms of * either the GNU General Public License Version 2 or later (the "GPL"), or @@ -87,7 +88,7 @@ function FillHistoryMenu(aParent, aMenu) { entry = sessionHistory.getEntryAtIndex(j, false); if (entry) - createCheckboxMenuItem(aParent, j, entry.title, j==index); + createRadioMenuItem(aParent, j, entry.title, j==index); } break; } @@ -277,10 +278,10 @@ function createMenuItem( aParent, aIndex, aLabel) aParent.appendChild( menuitem ); } -function createCheckboxMenuItem( aParent, aIndex, aLabel, aChecked) +function createRadioMenuItem( aParent, aIndex, aLabel, aChecked) { var menuitem = document.createElement( "menuitem" ); - menuitem.setAttribute( "type", "checkbox" ); + menuitem.setAttribute( "type", "radio" ); menuitem.setAttribute( "label", aLabel ); menuitem.setAttribute( "index", aIndex ); if (aChecked==true)