Close app on window close

2012-05-01 16:09:43 -04:00 · 2012-05-01 16:09:43 -04:00 · 83da5ad0f1
parent d26233998c
commit 83da5ad0f1
1 changed files with 10 additions and 0 deletions
--- a/gui_ocamlmsgAppDelegate.m
+++ b/gui_ocamlmsgAppDelegate.m
@ -19,6 +19,12 @@
 - (void)applicationDidFinishLaunching:(NSNotification *)aNotification {
 	task = [NSTask new];
 	
+	[[NSNotificationCenter defaultCenter]
+	 addObserver: self
+	 selector: @selector(mainWindowClosed:)
+	 name: NSWindowWillCloseNotification
+	 object: window];
+	
 	[[NSNotificationCenter defaultCenter]
 	 addObserver: self
 	 selector: @selector(taskStatusChanged:)
@ -83,4 +89,8 @@
 	[NSApp terminate: self];
 }

+- (void) mainWindowClosed: (NSNotification *) aNotification {
+	[NSApp terminate: self];
+}
+
@end