On 2/2/2006, at 1:04, Gerd Knops wrote:
I have wanted to add a section with these to the manual for some time though.
Maybe the latest KeyBindingsEditor[1] can make that task a little easier, it can now save a keybinding to txt or html format.
Thanks, that does indeed seem helpful!