[PATCH] 'esc' key mapped to toggleMenu()

[Ilya Radchenko]

At the moment the 'esc' key is useless during the game session. Making the 'esc' key to toggle the menu or to pause the game would be very beneficial.

[Ilya Radchenko]

Just found out that 'pause' key pauses. Also, even though the 'esc' key is mapped, it doesn't work.

[Matt Doerksen]

[PATCH] Pauses the game when Esc is pressed and brings up the menu. Unpauses and hides the menu when pressed a second time. Works in conjunction with the pause key.

[historic_bruno]

Related problem: #1291

[historic_bruno]

I don't think Esc should pause the game, we already have a separate hotkey for that (Pause by default). The expected behavior of Esc is that it should cancel the last action or close a recently opened menu item. In that sense it shouldn't toggle either, but simply close the menu if it's open (I don't think it even needs to be a configurable hotkey - it's a standard UI hotkey).

Also my preference would be to tie these really common "global" hotkeys into the GUI engine itself if feasible.