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!