diff -r 000000000000 -r 6474c204b198 toolkit/content/macWindowMenu.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/toolkit/content/macWindowMenu.js	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,51 @@
+// -*- 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/. */
+
+function macWindowMenuDidShow()
+{
+  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);
+    if (win.document.documentElement.getAttribute("inwindowmenu") == "false")
+      sep.hidden = true;
+    else if (win == window)
+      sep.setAttribute("checked", "true");
+  }
+}
+
+function toOpenWindow( aWindow )
+{
+  // deminiaturize the window, if it's in the Dock
+  if (aWindow.windowState == STATE_MINIMIZED)
+    aWindow.restore();
+  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();
+}