Eric S. Raymond a8cee73c12 Enrich the editor theme markup for hotkeys by adding a description= attribute.
A new script, data/tools/extractbindings, uses this to automatically
generate an up-to-date list of editor keybindings in a form suitable
for the wiki.
2008-02-29 21:11:35 +00:00
..