2014-06-24 22:12:07 -07:00
|
|
|
// -*- indent-tabs-mode: nil; js-indent-level: 2 -*-
|
2012-06-25 16:11:16 -07:00
|
|
|
|
|
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
2007-03-22 10:30:00 -07:00
|
|
|
|
2010-01-05 15:35:58 -08:00
|
|
|
function macWindowMenuDidShow()
|
2007-03-22 10:30:00 -07:00
|
|
|
{
|
|
|
|
var windowManagerDS =
|
|
|
|
Components.classes['@mozilla.org/rdf/datasource;1?name=window-mediator']
|
|
|
|
.getService(Components.interfaces.nsIWindowDataSource);
|
|
|
|
var sep = document.getElementById("sep-window-list");
|
|
|
|
// Using double parens to avoid warning
|
|
|
|
while ((sep = sep.nextSibling)) {
|
|
|
|
var url = sep.getAttribute('id');
|
|
|
|
var win = windowManagerDS.getWindowForResource(url);
|
2010-01-05 15:35:58 -08:00
|
|
|
if (win.document.documentElement.getAttribute("inwindowmenu") == "false")
|
|
|
|
sep.hidden = true;
|
|
|
|
else if (win == window)
|
2007-03-22 10:30:00 -07:00
|
|
|
sep.setAttribute("checked", "true");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function toOpenWindow( aWindow )
|
|
|
|
{
|
2009-09-21 14:39:09 -07:00
|
|
|
// deminiaturize the window, if it's in the Dock
|
|
|
|
if (aWindow.windowState == STATE_MINIMIZED)
|
|
|
|
aWindow.restore();
|
2007-03-22 10:30:00 -07:00
|
|
|
aWindow.document.commandDispatcher.focusedWindow.focus();
|
|
|
|
}
|
|
|
|
|
|
|
|
function ShowWindowFromResource( node )
|
|
|
|
{
|
|
|
|
var windowManagerDS =
|
|
|
|
Components.classes['@mozilla.org/rdf/datasource;1?name=window-mediator']
|
|
|
|
.getService(Components.interfaces.nsIWindowDataSource);
|
|
|
|
|
|
|
|
var desiredWindow = null;
|
|
|
|
var url = node.getAttribute('id');
|
|
|
|
desiredWindow = windowManagerDS.getWindowForResource( url );
|
|
|
|
if (desiredWindow)
|
|
|
|
toOpenWindow(desiredWindow);
|
|
|
|
}
|
|
|
|
|
|
|
|
function zoomWindow()
|
|
|
|
{
|
|
|
|
if (window.windowState == STATE_NORMAL)
|
|
|
|
window.maximize();
|
|
|
|
else
|
|
|
|
window.restore();
|
|
|
|
}
|