Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2025-01-12 15:02:11 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 124323 - Active window indicator in Tasks menu should be the same as in Go menu

Browse Source 
This changes the Go menu to use radio menu items instead of checks.
r=timeless, sr=blake
This commit is contained in:
dean_tessman%hotmail.com 2006-09-14 06:02:54 +00:00
parent cd54ee41cd
commit fc801dcb73
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
suite/browser/sessionHistoryUI.js
View File

@ -23,6 +23,7 @@
* Jason Eager <jce2@po.cwru.edu> * Jason Eager <jce2@po.cwru.edu>
* Blake Ross <BlakeR1234@aol.com> * Blake Ross <BlakeR1234@aol.com>
* Peter Annema <disttsc@bart.nl> * Peter Annema <disttsc@bart.nl>
* Dean Tessman <dean_tessman@hotmail.com>
* *
* Alternatively, the contents of this file may be used under the terms of * 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 * 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); entry = sessionHistory.getEntryAtIndex(j, false);
if (entry) if (entry)
createCheckboxMenuItem(aParent, j, entry.title, j==index); createRadioMenuItem(aParent, j, entry.title, j==index);
} }
break; break;
} }
@ -277,10 +278,10 @@ function createMenuItem( aParent, aIndex, aLabel)
aParent.appendChild( menuitem ); aParent.appendChild( menuitem );
} }
function createCheckboxMenuItem( aParent, aIndex, aLabel, aChecked) function createRadioMenuItem( aParent, aIndex, aLabel, aChecked)
{ {
var menuitem = document.createElement( "menuitem" ); var menuitem = document.createElement( "menuitem" );
menuitem.setAttribute( "type", "checkbox" ); menuitem.setAttribute( "type", "radio" );
menuitem.setAttribute( "label", aLabel ); menuitem.setAttribute( "label", aLabel );
menuitem.setAttribute( "index", aIndex ); menuitem.setAttribute( "index", aIndex );
if (aChecked==true) if (aChecked==true)