From 4c7b992c362f192984bf85a7236879f5578d6733 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 May 2014 19:53:50 +0200
Subject: [PATCH] windowMenu: Fix typo

Closing windows is done with delete(), not close() ...
---
 js/ui/windowMenu.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index 79c48140a..772479b9e 100644
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -115,7 +115,7 @@ const WindowMenu = new Lang.Class({
         this.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
 
         item = this.addAction(_("Close"), Lang.bind(this, function(event) {
-            window.close(event.get_time());
+            window.delete(event.get_time());
         }));
         if (!window.can_close())
             item.setSensitive(false);