diff doc/4_3_delete.html @ 454:57459cf0952c

Prefix editor entries in the main menu with numbers. It allows Alt+E+number as shortcut to start an editor.
author zas_
date Sun, 20 Apr 2008 22:29:23 +0000
parents e0d0593d519e
children 1b01410e6860
line wrap: on
line diff