From f6a4b7515f939c6f1d6fa38b0d8117b9ddec234f Mon Sep 17 00:00:00 2001 From: "sspitzer%mozilla.org" Date: Sun, 18 Jul 2004 23:37:19 +0000 Subject: [PATCH] fix for bug #229503 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 --- .../components/viewsource/content/viewSource.js | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/mozilla/toolkit/components/viewsource/content/viewSource.js b/mozilla/toolkit/components/viewsource/content/viewSource.js index aa4512fcf7b..c5e69132b60 100644 --- a/mozilla/toolkit/components/viewsource/content/viewSource.js +++ b/mozilla/toolkit/components/viewsource/content/viewSource.js @@ -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;