macosx: fixed quit through Apple Events

aka Dock, App Switcher, AppleScript, etc. Fixed #4009

NEWS

@@ -6,6 +6,7 @@ Mac OS X Interface:
  * improved Apple Remote handling
  * layout fixes in the Preferences and Controls windows
  * fixed incomplete list of hotkeys in the Preferences dialog
+ * fixed Quit through Apple Events (Dock menu, App Switcher, AppleScript, etc.)
 
 Mac OS X Port:
  * fixed Growl local notification plugin

modules/gui/macosx/intf.m

@@ -2932,6 +2932,7 @@ end:
 // see [af97f24d528acab89969d6541d83f17ce1ecd580] that introduced the removal of setjmp() and longjmp() 
 - (void)terminate:(id)sender
 {
+    [self activateIgnoringOtherApps:YES];
     [self stop:sender];
 }