[the-board] [ui] Hide MainWindow when closed by window manager

[Lucas Rocha <lucasr src gnome org>]

commit 582d1d8b3a74bdc10e83f4adbfb5919b0a7bde52
Author: Antonio Terceiro <terceiro softwarelivre org>
Date:   Sun Dec 5 22:19:48 2010 -0300

    [ui] Hide MainWindow when closed by window manager
    
    This makes closing via window manager behave just like clicking the
    notification area icon, or pressing escape.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=636522

 src/js/ui/mainWindow.js |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/src/js/ui/mainWindow.js b/src/js/ui/mainWindow.js
index 467d516..17c3d2c 100644
--- a/src/js/ui/mainWindow.js
+++ b/src/js/ui/mainWindow.js
@@ -93,6 +93,9 @@ MainWindow.prototype = {
 
         screen.connect("size-changed",
                        Lang.bind(this, this._onScreenSizeChanged));
+
+        this._gtkWindow.connect("delete-event",
+                                Lang.bind(this, this._onWindowDeleteEvent));
     },
 
     _createClutterEmbed : function() {
@@ -620,6 +623,11 @@ MainWindow.prototype = {
         }
     },
 
+    _onWindowDeleteEvent : function() {
+        this._hideGtkWindow();
+        return true;
+    },
+
     _onToolbarActiveChanged : function() {
         if (this._currentPage && this._activeToolbar.active) {
             this._currentPage.setActiveThing(null);