On Sat, 29 Apr 2017 20:07:20 +0100, Richard Shann <[email protected]> wrote:
> > > > But now the order of the menus in the menu bar is odd. > > I believe I have fixed this now. Confirmed. Migration works, no duplicate shortcuts, and order of menus is ok. Good work! -- Johan _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
