/* -*- Mode: Java; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- * The contents of this file are subject to the Mozilla Public * License Version 1.1 (the "License"); you may not use this file * except in compliance with the License. You may obtain a copy of * the License at http://www.mozilla.org/MPL/ * * Software distributed under the License is distributed on an "AS * IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or * implied. See the License for the specific language governing * rights and limitations under the License. * * The Original Code is mozilla.org code. * * The Initial Developer of the Original Code is Netscape * Communications Corporation. Portions created by Netscape are * Copyright (C) Netscape Communications Corporation. All * Rights Reserved. * * Contributor(s): * Doron Rosenberg (doronr@naboonline.com) */ var gBrowser = null; var appCore = null; function onLoadViewSource() { viewSource(window.arguments[0]); window._content.focus(); } function getBrowser() { if (!gBrowser) gBrowser = document.getElementById("content"); return gBrowser; } function viewSource(url) { if (!url) return false; // throw Components.results.NS_ERROR_FAILURE; try { appCore = Components.classes["@mozilla.org/appshell/component/browser/instance;1"] .createInstance(Components.interfaces.nsIBrowserInstance); // Initialize browser instance.. appCore.setWebShellWindow(window); } catch(ex) { // Give up. window.close(); return false; } try { if ("arguments" in window && window.arguments.length >= 2) { if (window.arguments[1].indexOf('charset=') != -1) { var arrayArgComponents = window.arguments[1].split('='); if (arrayArgComponents) { appCore.setDefaultCharacterSet(arrayArgComponents[1]); //XXXjag see bug 67442 } } } } catch(ex) { } var loadFlags = Components.interfaces.nsIWebNavigation.LOAD_FLAGS_NONE; var viewSrcUrl = "view-source:" + url; getBrowser().webNavigation.loadURI(viewSrcUrl, loadFlags); window._content.focus(); return true; } function getMarkupDocumentViewer() { return getBrowser().markupDocumentViewer; } // Strips the |view-source:| for editPage() function ViewSourceEditPage() { var url = window._content.location.href; url = url.substring(12,url.length); editPage(url,window, false); }