[Glade-devel] Commit -- changes to the menu editor by Paolo + bug fixes

[e98cuenc free fr (Joaquin Cuenca Abela)]

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,