The bug ruins undo in some cases. The fix strips "&" away before looking up a command name. Recent changes to Leo's menus revealed this bug.
Here is yet another instance where devel is significantly better than master. And no, releasing more often is not a complete cure. Yes, we could merge devel into master, but that could cause other problems... Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to firstname.lastname@example.org. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.