| commit | 9106cc8ecce87ebdd01a330b0e1e4eedb8e5d2b8 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sun May 08 12:01:33 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Tue Jun 21 11:03:38 2016 +0200 |
| tree | e59443dc0c914cb3d49f526731b5ac2c6a8d5269 | |
| parent | 17fb6dfdc0f12e20b6fbe99199e2ed8319a8b011 [diff] |
main: let the main loop restore the main menu, if needed Don't make it the responsibility of the executed functions to restore the list of shortcuts of the edit window. Just detect whether another menu was displayed, and if so, redisplay the main menu.