change keybindings during game

[pabs]

Forwarding http://bugs.debian.org/587532

I'm missing the feature to change (or just view) the keybindings during a game. This applies to basically all options that can be changed but I noticed it most with keybindings. Given the shear amount of bindings I can't remember them all so it would be nice to be able to look them up in the middle of a game. Or change them if one noticed that they are badly placed (or even unusable given the keymapping).

This also applies to all other options that are changeable without restarting the game. I don't see any good reason why one must save, stop game, change option, load game to alter them.

[JDW]

I had suggested something like making the User Manual available during gameplay some time ago,

viewtopic.php?f=30&t=5457

Not really sure what happened about it..

[Emdek]

Yeah, it would be really useful to at least have them available readonly, but if current program architecture allows to reassign bindings during gameplay that would be even more useful.