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. But now the order of the menus in the menu bar is odd. -- Johan
_______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
