2003-12-01 05:40:41 +00:00
|
|
|
function closeWindow(aClose)
|
2002-10-11 20:01:37 +00:00
|
|
|
{
|
2003-12-01 05:40:41 +00:00
|
|
|
var windowCount = 0;
|
|
|
|
var wm = Components.classes["@mozilla.org/appshell/window-mediator;1"].getService(Components.interfaces.nsIWindowMediator);
|
|
|
|
var e = wm.getEnumerator(null);
|
|
|
|
|
|
|
|
while (e.hasMoreElements()) {
|
|
|
|
var w = e.getNext();
|
|
|
|
++windowCount;
|
|
|
|
if (windowCount == 2)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
// If we're down to the last window and someone tries to shut down, check to make sure we can!
|
|
|
|
if (windowCount == 1 && !canQuitApplication())
|
|
|
|
return false;
|
|
|
|
|
|
|
|
if (aClose)
|
|
|
|
window.close();
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
function canQuitApplication()
|
|
|
|
{
|
|
|
|
var os = Components.classes["@mozilla.org/observer-service;1"].getService(Components.interfaces.nsIObserverService);
|
|
|
|
if (os) {
|
|
|
|
try {
|
2003-11-27 00:54:33 +00:00
|
|
|
var cancelQuit = Components.classes["@mozilla.org/supports-PRBool;1"].createInstance(Components.interfaces.nsISupportsPRBool);
|
2003-12-01 05:40:41 +00:00
|
|
|
os.notifyObservers(cancelQuit, "quit-application-requested", null);
|
2003-11-27 00:54:33 +00:00
|
|
|
|
|
|
|
// Something aborted the quit process.
|
|
|
|
if (cancelQuit.data)
|
2003-12-01 05:40:41 +00:00
|
|
|
return false;
|
2002-10-11 20:01:37 +00:00
|
|
|
}
|
2003-12-01 05:40:41 +00:00
|
|
|
catch (ex) {
|
2002-10-11 20:01:37 +00:00
|
|
|
}
|
|
|
|
}
|
2003-12-01 05:40:41 +00:00
|
|
|
return true;
|
|
|
|
}
|
2002-10-11 20:01:37 +00:00
|
|
|
|
2003-12-01 05:40:41 +00:00
|
|
|
function goQuitApplication()
|
|
|
|
{
|
|
|
|
if (!canQuitApplication())
|
|
|
|
return;
|
|
|
|
|
2002-10-11 20:01:37 +00:00
|
|
|
var windowManager = Components.classes['@mozilla.org/appshell/window-mediator;1'].getService();
|
|
|
|
var windowManagerInterface = windowManager.QueryInterface( Components.interfaces.nsIWindowMediator);
|
|
|
|
var enumerator = windowManagerInterface.getEnumerator( null );
|
2004-12-01 17:26:48 +00:00
|
|
|
var appStartup = Components.classes['@mozilla.org/toolkit/app-startup;1'].
|
|
|
|
getService(Components.interfaces.nsIAppStartup);
|
2002-10-11 20:01:37 +00:00
|
|
|
|
|
|
|
while ( enumerator.hasMoreElements() )
|
|
|
|
{
|
|
|
|
var domWindow = enumerator.getNext();
|
|
|
|
if (("tryToClose" in domWindow) && !domWindow.tryToClose())
|
2004-12-01 16:21:02 +00:00
|
|
|
return false;
|
2002-10-11 20:01:37 +00:00
|
|
|
domWindow.close();
|
|
|
|
};
|
2004-12-01 17:26:48 +00:00
|
|
|
appStartup.quit(Components.interfaces.nsIAppStartup.eAttemptQuit);
|
2002-10-11 20:01:37 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
//
|
|
|
|
// Command Updater functions
|
|
|
|
//
|
|
|
|
function goUpdateCommand(command)
|
|
|
|
{
|
|
|
|
try {
|
|
|
|
var controller = top.document.commandDispatcher.getControllerForCommand(command);
|
|
|
|
|
|
|
|
var enabled = false;
|
|
|
|
|
|
|
|
if ( controller )
|
|
|
|
enabled = controller.isCommandEnabled(command);
|
|
|
|
|
|
|
|
goSetCommandEnabled(command, enabled);
|
|
|
|
}
|
|
|
|
catch (e) {
|
|
|
|
dump("An error occurred updating the "+command+" command\n");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function goDoCommand(command)
|
|
|
|
{
|
|
|
|
try {
|
|
|
|
var controller = top.document.commandDispatcher.getControllerForCommand(command);
|
|
|
|
if ( controller && controller.isCommandEnabled(command))
|
|
|
|
controller.doCommand(command);
|
|
|
|
}
|
|
|
|
catch (e) {
|
2004-12-01 16:21:02 +00:00
|
|
|
dump("An error occurred executing the " + command + " command\n" + e + "\n");
|
2002-10-11 20:01:37 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
function goSetCommandEnabled(id, enabled)
|
|
|
|
{
|
|
|
|
var node = document.getElementById(id);
|
|
|
|
|
|
|
|
if ( node )
|
|
|
|
{
|
|
|
|
if ( enabled )
|
|
|
|
node.removeAttribute("disabled");
|
|
|
|
else
|
|
|
|
node.setAttribute('disabled', 'true');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function goSetMenuValue(command, labelAttribute)
|
|
|
|
{
|
|
|
|
var commandNode = top.document.getElementById(command);
|
|
|
|
if ( commandNode )
|
|
|
|
{
|
|
|
|
var label = commandNode.getAttribute(labelAttribute);
|
|
|
|
if ( label )
|
|
|
|
commandNode.setAttribute('label', label);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function goSetAccessKey(command, valueAttribute)
|
|
|
|
{
|
|
|
|
var commandNode = top.document.getElementById(command);
|
|
|
|
if ( commandNode )
|
|
|
|
{
|
|
|
|
var value = commandNode.getAttribute(valueAttribute);
|
|
|
|
if ( value )
|
|
|
|
commandNode.setAttribute('accesskey', value);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// this function is used to inform all the controllers attached to a node that an event has occurred
|
|
|
|
// (e.g. the tree controllers need to be informed of blur events so that they can change some of the
|
|
|
|
// menu items back to their default values)
|
|
|
|
function goOnEvent(node, event)
|
|
|
|
{
|
|
|
|
var numControllers = node.controllers.getControllerCount();
|
|
|
|
var controller;
|
|
|
|
|
|
|
|
for ( var controllerIndex = 0; controllerIndex < numControllers; controllerIndex++ )
|
|
|
|
{
|
|
|
|
controller = node.controllers.getControllerAt(controllerIndex);
|
|
|
|
if ( controller )
|
|
|
|
controller.onEvent(event);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2003-10-19 15:18:15 +00:00
|
|
|
function visitLink(aEvent) {
|
|
|
|
var node = aEvent.target;
|
|
|
|
while (node.nodeType != Node.ELEMENT_NODE)
|
|
|
|
node = node.parentNode;
|
|
|
|
var url = node.getAttribute("link");
|
|
|
|
if (url != "")
|
2004-02-11 00:56:17 +00:00
|
|
|
top.opener.openNewWindowWith(url, null, false);
|
2003-10-19 15:18:15 +00:00
|
|
|
}
|
|
|
|
|
2003-07-21 09:06:49 +00:00
|
|
|
function isValidLeftClick(aEvent, aName)
|
|
|
|
{
|
|
|
|
return (aEvent.button == 0 && aEvent.originalTarget.localName == aName);
|
|
|
|
}
|
|
|
|
|
2002-10-11 20:01:37 +00:00
|
|
|
function setTooltipText(aID, aTooltipText)
|
|
|
|
{
|
|
|
|
var element = document.getElementById(aID);
|
|
|
|
if (element)
|
|
|
|
element.setAttribute("tooltiptext", aTooltipText);
|
|
|
|
}
|
|
|
|
|
|
|
|
function FillInTooltip ( tipElement )
|
|
|
|
{
|
|
|
|
var retVal = false;
|
|
|
|
var textNode = document.getElementById("TOOLTIP-tooltipText");
|
|
|
|
if (textNode) {
|
|
|
|
while (textNode.hasChildNodes())
|
|
|
|
textNode.removeChild(textNode.firstChild);
|
|
|
|
var tipText = tipElement.getAttribute("tooltiptext");
|
|
|
|
if (tipText) {
|
|
|
|
var node = document.createTextNode(tipText);
|
|
|
|
textNode.appendChild(node);
|
|
|
|
retVal = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return retVal;
|
|
|
|
}
|