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. > > You are the third person now to have reported this to me! I haven't > heard back about how they resolved the problem. I think you just have to > replace your local Default.commands with the one shipped with Denemo and > reload your new Play2 command. Yes I could do that. But I'm curious. Do you happen to use a perl tool for the migration? -- Johan _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
