diff --git a/mozilla/toolkit/components/viewsource/content/viewSource.js b/mozilla/toolkit/components/viewsource/content/viewSource.js index 03c9a3aac0b..91f859af305 100644 --- a/mozilla/toolkit/components/viewsource/content/viewSource.js +++ b/mozilla/toolkit/components/viewsource/content/viewSource.js @@ -235,13 +235,7 @@ function ViewSourceClose() window.close(); } -function BrowserReload() -{ - // Reload will always reload from cache which is probably not what's wanted - BrowserReloadSkipCache(); -} - -function BrowserReloadSkipCache() +function ViewSourceReload() { const webNavigation = getBrowser().webNavigation; webNavigation.reload(webNavigation.LOAD_FLAGS_BYPASS_PROXY | webNavigation.LOAD_FLAGS_BYPASS_CACHE); diff --git a/mozilla/toolkit/components/viewsource/content/viewSource.xul b/mozilla/toolkit/components/viewsource/content/viewSource.xul index 65ec6166376..29e4427e43a 100644 --- a/mozilla/toolkit/components/viewsource/content/viewSource.xul +++ b/mozilla/toolkit/components/viewsource/content/viewSource.xul @@ -111,6 +111,7 @@ #endif + @@ -128,6 +129,11 @@ + + + + + #ifdef USE_FIND_TOOLBAR @@ -189,6 +195,9 @@ + + diff --git a/mozilla/toolkit/locales/en-US/chrome/global/viewSource.dtd b/mozilla/toolkit/locales/en-US/chrome/global/viewSource.dtd index d88c6f6850f..39902e709e1 100644 --- a/mozilla/toolkit/locales/en-US/chrome/global/viewSource.dtd +++ b/mozilla/toolkit/locales/en-US/chrome/global/viewSource.dtd @@ -35,6 +35,9 @@ + + +