From a0cb94788079d6a1223f053c7878afd1dc66cae8 Mon Sep 17 00:00:00 2001
From: Joel Holdsworth <joel@joel-desktop.(none)>
Date: Wed, 4 Feb 2009 17:14:57 +0000
Subject: [PATCH] Bugfix: Fixed File>Exit

---
 src/gui/workspace/actions.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/gui/workspace/actions.cpp b/src/gui/workspace/actions.cpp
index 2b0df60ed..b2cf555db 100644
--- a/src/gui/workspace/actions.cpp
+++ b/src/gui/workspace/actions.cpp
@@ -153,7 +153,9 @@ Actions::on_menu_file_render()
 void
 Actions::on_menu_file_quit()
 {
-  workspaceWindow.hide(); // Closes the main window to stop the Gtk::Main::run().
+  Main *main = Main::instance();
+  REQUIRE(main);
+  main->quit();
 }
 
 /* ===== Edit Menu Event Handlers ===== */