2006-07-29 05:33:03 +00:00
|
|
|
/* -*- Mode: Java; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*-
|
|
|
|
*
|
|
|
|
* The contents of this file are subject to the Netscape 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/NPL/
|
|
|
|
*
|
|
|
|
* 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) 1998 Netscape Communications Corporation. All
|
|
|
|
* Rights Reserved.
|
|
|
|
*
|
|
|
|
* Contributors:
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
2006-07-29 05:33:17 +00:00
|
|
|
/**
|
|
|
|
* Determine whether or not a given focused DOMWindow is in the content
|
|
|
|
* area.
|
|
|
|
**/
|
|
|
|
function isDocumentFrame(aFocusedWindow)
|
|
|
|
{
|
|
|
|
var contentFrames = _content.frames;
|
|
|
|
if (contentFrames.length) {
|
|
|
|
for (var i = 0; i < contentFrames.length; ++i) {
|
|
|
|
if (aFocusedWindow == contentFrames[i])
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2006-07-29 05:37:09 +00:00
|
|
|
function urlSecurityCheck(url, doc) {
|
2006-07-29 05:36:37 +00:00
|
|
|
// URL Loading Security Check
|
2006-07-29 05:37:09 +00:00
|
|
|
var focusedWindow = doc.commandDispatcher.focusedWindow;
|
|
|
|
var sourceWin = isDocumentFrame(focusedWindow) ? focusedWindow.location.href : focusedWindow._content.location.href;
|
2006-07-29 05:33:16 +00:00
|
|
|
const nsIScriptSecurityManager = Components.interfaces.nsIScriptSecurityManager;
|
|
|
|
var secMan = Components.classes["@mozilla.org/scriptsecuritymanager;1"].getService().
|
2006-07-29 05:37:09 +00:00
|
|
|
QueryInterface(nsIScriptSecurityManager);
|
|
|
|
try {
|
2006-07-29 05:36:37 +00:00
|
|
|
secMan.checkLoadURIStr(sourceWin, url, nsIScriptSecurityManager.STANDARD);
|
|
|
|
} catch (e) {
|
2006-07-29 05:37:09 +00:00
|
|
|
throw "Load of " + url + " denied.";
|
2006-07-29 05:36:37 +00:00
|
|
|
}
|
2006-07-29 05:37:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
function openNewWindowWith(url) {
|
|
|
|
|
|
|
|
urlSecurityCheck(url, document);
|
2006-07-29 05:33:12 +00:00
|
|
|
var newWin;
|
|
|
|
var wintype = document.firstChild.getAttribute('windowtype');
|
2006-07-29 05:37:09 +00:00
|
|
|
|
2006-07-29 05:33:12 +00:00
|
|
|
// if and only if the current window is a browser window and it has a document with a character
|
|
|
|
// set, then extract the current charset menu setting from the current document and use it to
|
|
|
|
// initialize the new browser window...
|
|
|
|
if (window && (wintype == "navigator:browser") &&
|
|
|
|
window._content && window._content.document) {
|
|
|
|
var DocCharset = window._content.document.characterSet;
|
2006-07-29 05:33:18 +00:00
|
|
|
var charsetArg = "charset="+DocCharset;
|
2006-07-29 05:33:03 +00:00
|
|
|
|
2006-07-29 05:33:12 +00:00
|
|
|
//we should "inherit" the charset menu setting in a new window
|
2006-07-29 05:35:35 +00:00
|
|
|
newWin = window.openDialog( getBrowserURL(), "_blank", "chrome,all,dialog=no", url, charsetArg, true );
|
2006-07-29 05:33:12 +00:00
|
|
|
}
|
|
|
|
else { // forget about the charset information.
|
2006-07-29 05:35:35 +00:00
|
|
|
newWin = window.openDialog( getBrowserURL(), "_blank", "chrome,all,dialog=no", url, null, true );
|
2006-07-29 05:33:12 +00:00
|
|
|
}
|
2006-07-29 05:33:03 +00:00
|
|
|
|
2006-07-29 05:33:12 +00:00
|
|
|
// Fix new window.
|
|
|
|
newWin.saveFileAndPos = true;
|
|
|
|
}
|
2006-07-29 05:33:03 +00:00
|
|
|
|
2006-07-29 05:37:42 +00:00
|
|
|
function openNewTabWith(url) {
|
|
|
|
|
|
|
|
urlSecurityCheck(url, document);
|
|
|
|
var wintype = document.firstChild.getAttribute('windowtype');
|
|
|
|
|
|
|
|
// if and only if the current window is a browser window and it has a document with a character
|
|
|
|
// set, then extract the current charset menu setting from the current document and use it to
|
|
|
|
// initialize the new browser window...
|
|
|
|
if (window && (wintype == "navigator:browser")) {
|
|
|
|
var browser=getBrowser();
|
|
|
|
browser.selectedTab = browser.addTab(url);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Fix new window.
|
|
|
|
newWin.saveFileAndPos = true;
|
|
|
|
}
|
|
|
|
|
2006-07-29 05:33:03 +00:00
|
|
|
function savePage(url)
|
|
|
|
{
|
|
|
|
var postData = null; // No post data, usually.
|
2006-07-29 05:37:13 +00:00
|
|
|
var cacheKey = null;
|
2006-07-29 05:33:03 +00:00
|
|
|
// Default is to save current page.
|
|
|
|
if ( !url )
|
|
|
|
url = window._content.location.href;
|
2006-07-29 05:36:33 +00:00
|
|
|
|
2006-07-29 05:33:03 +00:00
|
|
|
try {
|
2006-07-29 05:36:33 +00:00
|
|
|
var sessionHistory = getWebNavigation().sessionHistory;
|
2006-07-29 05:37:13 +00:00
|
|
|
var entry = sessionHistory.getEntryAtIndex(sessionHistory.index, false).QueryInterface(Components.interfaces.nsISHEntry);
|
2006-07-29 05:36:33 +00:00
|
|
|
postData = entry.postData;
|
2006-07-29 05:37:13 +00:00
|
|
|
cacheKey = entry.cacheKey;
|
2006-07-29 05:33:03 +00:00
|
|
|
} catch(e) {
|
|
|
|
}
|
2006-07-29 05:36:33 +00:00
|
|
|
|
2006-07-29 05:33:03 +00:00
|
|
|
// Use stream xfer component to prompt for destination and save.
|
|
|
|
var xfer = Components.classes["@mozilla.org/appshell/component/xfer;1"].getService(Components.interfaces["nsIStreamTransfer"]);
|
|
|
|
try {
|
2006-07-29 05:37:13 +00:00
|
|
|
xfer.SelectFileAndTransferLocationSpec( url, window, "", "", true, postData, cacheKey );
|
2006-07-29 05:33:03 +00:00
|
|
|
} catch( exception ) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
2006-07-29 05:33:12 +00:00
|
|
|
}
|
|
|
|
|
2006-07-29 05:35:34 +00:00
|
|
|
//Note: "function editPage(url)" was moved to utilityOverlay.js
|
2006-07-29 05:33:12 +00:00
|
|
|
|
|
|
|
function findParentNode(node, parentNode)
|
|
|
|
{
|
2006-07-29 05:36:38 +00:00
|
|
|
if (node && node.nodeType == Node.TEXT_NODE) {
|
|
|
|
node = node.parentNode;
|
|
|
|
}
|
2006-07-29 05:33:12 +00:00
|
|
|
while (node) {
|
|
|
|
var nodeName = node.localName;
|
|
|
|
if (!nodeName)
|
|
|
|
return null;
|
|
|
|
nodeName = nodeName.toLowerCase();
|
|
|
|
if (nodeName == "body" || nodeName == "html" ||
|
|
|
|
nodeName == "#document") {
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
if (nodeName == parentNode)
|
|
|
|
return node;
|
|
|
|
node = node.parentNode;
|
|
|
|
}
|
|
|
|
return null;
|
|
|
|
}
|
2006-07-29 05:33:14 +00:00
|
|
|
|