Number the items in the Undo/Redo dropdowns

Undos accumulate rapidly, so the un(re)do dropdown menu may have many pages of entries. At least in gtk, the menu opens near the far end, which provides the user with an opportunity to undo far more than he really wanted.

Make this less likely by numbering each item, which is arguably a good idea anyway.