From 3beb33bb4445e55af26a3d581c889699e9b83128 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Fri, 28 Oct 2011 15:05:05 -0400
Subject: [PATCH] mutter-mag: Quit when the user hits escape

https://bugzilla.gnome.org/show_bug.cgi?id=662895
---
 src/tools/mutter-mag.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/tools/mutter-mag.c b/src/tools/mutter-mag.c
index ec4891e28..b85fc5698 100644
--- a/src/tools/mutter-mag.c
+++ b/src/tools/mutter-mag.c
@@ -204,6 +204,8 @@ key_press (GtkWidget   *invisible,
       g_signal_handlers_disconnect_by_func (invisible, mouse_press, NULL);
       g_signal_handlers_disconnect_by_func (invisible, key_press, NULL);
       
+      gtk_main_quit ();
+
       return TRUE;
     }