Bug 323761: default page style not available when preferred stylesheet's media is not screen or all, patch by Jonathan Haas <jonathan_haas@web.de>, r=mconnor

git-svn-id: svn://10.0.0.236/trunk@192256 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
gavin%gavinsharp.com 2006-03-13 03:19:31 +00:00
parent 4d47635e24
commit a0ab34a052

View File

@ -5561,7 +5561,7 @@ function stylesheetFillPopup(menuPopup)
noStyle.setAttribute("checked", styleDisabled);
persistentOnly.setAttribute("checked", !altStyleSelected && !styleDisabled);
persistentOnly.hidden = (window.content.document.preferredStylesheetSet) ? true : false;
persistentOnly.hidden = (window.content.document.preferredStylesheetSet) ? haveAltSheets : false;
sep.hidden = (noStyle.hidden && persistentOnly.hidden) || !haveAltSheets;
return true;
}