Connect OSX Quit menu to ExitEvent
authorH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 30 Oct 2014 14:01:59 +0000 (15:01 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 7 May 2015 18:53:30 +0000 (20:53 +0200)
commitf59115efbe1e03f7c4808d4f8c722c1e86b37c3d
treebbbad024fdd18b12d962b2490e919bd42002dc57
parent5ed3648dad878d4944bcadced972a80cf996043c
Connect OSX Quit menu to ExitEvent

The Quit menu item provided by OSX was not equivalent to the original
XBoard menu item, as it did not automatically call ExitEvent. (Which
closing the window did.) This meant a hard kill, without saving settings
or the last game, and not properly shutting down the engine(s).
We now catch the OSX 'WillTerminate' event to perform these tasks.
gtk/xboard.c