Bommels05/Mozilla
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix for bug #229503

Browse Source 
can't change auto-detect options in view->character encoding in view source

r=ben


git-svn-id: svn://10.0.0.236/trunk@159454 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
sspitzer%mozilla.org
2004-07-18 23:37:19 +00:00
parent 56fecf9e6f
commit f6a4b7515f
1 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
mozilla/toolkit/components/viewsource/content/viewSource.js
View File

@@ -572,6 +572,21 @@ function BrowserSetForcedCharacterSet(aCharset)
PageLoader.loadPage(PageLoader.currentDescriptor, pageLoaderIface.DISPLAY_NORMAL);
}
// fix for bug #229503
// we need to define BrowserSetForcedDetector() so that we can
// change auto-detect options in the "View | Character Encoding" menu.
// As with BrowserSetForcedCharacterSet(), call PageLoader.loadPage()
// instead of BrowserReloadWithFlags()
function BrowserSetForcedDetector(doReload)
{
getBrowser().documentCharsetInfo.forcedDetector = true;
if (doReload)
{
var PageLoader = getBrowser().webNavigation.QueryInterface(pageLoaderIface);
PageLoader.loadPage(PageLoader.currentDescriptor, pageLoaderIface.DISPLAY_NORMAL);
}
}
function getMarkupDocumentViewer()
{
return gBrowser.markupDocumentViewer;