On Sat, 2017-04-29 at 00:11 +0200, Johan Vromans wrote: > On Fri, 28 Apr 2017 22:42:18 +0100, Richard Shann > <[email protected]> > wrote: > > > > > Hmm, shouldn't be possible, I guess it must come from merging > your > > > > shortcuts. What happens in the Command Center opened on one of > those > > > > doubled shortcut commands? > > > > > > Seems to have vanished after a restart. > > > > Well, that's more expected, why it should ever had allowed the same > > shortcut to be assigned twice is more peculiar > > It shows only after the initial run where the migration takes place. > On subsequent runs the shortcuts are okay. > > > > But now the order of the menus in the menu bar is odd.
I believe I have fixed this now. Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
