Files
nethack/doc
PatR addebf7090 Qt "close window" debacle on OSX
Prevent an infinite loop that occurred if player clicked on the
close window button and then tried to cancel out of that in the
dialog it brings up.

I don't know whether Qt interface on platforms other than OSX
need this but they're getting it.  The choices are changed from
"Save" or "Cancel" to "Save and exit" or "Quit without saving".
Since save allows subsequent restore, not being able to cancel
out of the application shutdown should only be an inconvenience.

Unresolved issues:

I don't know whether there's any other way to bring up that dialog,
where Cancel might be a viable choice.  If so, handling that might
be tricky.  Quit should definitely be available as an alterative
to Save, but that type of dialog doesn't seem to allow more than
two choices.

Picking "nethack" from application menu and then "quit nethack"
from the resulting pull down menu results in executing nethack's
help command (the '?' menu) and then just resumes play.
2020-08-05 11:34:56 -07:00
..
2018-11-11 10:29:52 -05:00
2020-02-15 13:08:34 -08:00
2018-04-25 16:54:50 -04:00
2018-09-21 16:36:38 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 18:12:42 -07:00
2018-04-25 16:54:50 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 18:12:42 -07:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2018-09-21 18:12:42 -07:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2003-05-11 13:40:01 +00:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-09-21 18:12:42 -07:00
2019-05-09 17:15:14 -07:00
2020-01-13 15:30:23 -05:00
2020-01-27 18:11:43 -05:00
2020-08-05 11:34:56 -07:00
2016-06-19 19:52:28 -04:00
2020-02-15 14:42:00 -08:00
2020-07-25 19:45:50 -07:00
2020-04-19 15:42:32 -07:00
2020-01-01 11:59:43 -05:00
bit
2020-01-27 14:44:29 -05:00
2018-11-11 10:29:52 -05:00
2018-11-11 10:29:52 -05:00
2020-01-19 23:09:53 -05:00
2020-03-01 11:04:02 -05:00
2018-04-25 16:54:50 -04:00
2018-09-20 18:02:48 -04:00