Paolo has started to implement the shortcut keys of the menu editor. Honestly, I didn't have time to check it out, except that it builds and it doesn't crash :-) I've also fixed the "changes to widget name not taked in account by the undo system" bug that was noticed by Shane a while ago. Cheers,