2012-06-26 03:11:16 +04:00
|
|
|
// -*- Mode: Java; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*-
|
|
|
|
|
|
|
|
/* 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/. */
|
2005-03-24 19:00:01 +03:00
|
|
|
|
2010-01-06 02:35:58 +03:00
|
|
|
function macWindowMenuDidShow()
|
2005-03-24 19:00:01 +03:00
|
|
|
{
|
2006-04-14 03:07:06 +04:00
|
|
|
var windowManagerDS =
|
|
|
|
Components.classes['@mozilla.org/rdf/datasource;1?name=window-mediator']
|
|
|
|
.getService(Components.interfaces.nsIWindowDataSource);
|
2005-03-24 19:00:01 +03:00
|
|
|
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-06 02:35:58 +03:00
|
|
|
if (win.document.documentElement.getAttribute("inwindowmenu") == "false")
|
|
|
|
sep.hidden = true;
|
|
|
|
else if (win == window)
|
2005-03-24 19:00:01 +03:00
|
|
|
sep.setAttribute("checked", "true");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function toOpenWindow( aWindow )
|
|
|
|
{
|
2009-09-22 01:39:09 +04:00
|
|
|
// deminiaturize the window, if it's in the Dock
|
|
|
|
if (aWindow.windowState == STATE_MINIMIZED)
|
|
|
|
aWindow.restore();
|
2005-03-24 19:00:01 +03:00
|
|
|
aWindow.document.commandDispatcher.focusedWindow.focus();
|
|
|
|
}
|
|
|
|
|
|
|
|
function ShowWindowFromResource( node )
|
|
|
|
{
|
2006-04-14 03:07:06 +04:00
|
|
|
var windowManagerDS =
|
|
|
|
Components.classes['@mozilla.org/rdf/datasource;1?name=window-mediator']
|
|
|
|
.getService(Components.interfaces.nsIWindowDataSource);
|
2005-03-24 19:00:01 +03:00
|
|
|
|
|
|
|
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();
|
|
|
|
}
|