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)