On Fri, 2017-04-28 at 20:44 +0200, Johan Vromans wrote: > On Fri, 28 Apr 2017 19:07:48 +0100, Richard Shann <[email protected]> > wrote: > > > > See screenshot 2: Many shortcut keys are duplicated. > > > > 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 > 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. I'll try and test the upgrade mechanism before the next release, which shouldn't be too far off now - basically we just need the virtual keyboard building for Windows machines... Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
