On Fri, 2017-04-28 at 19:30 +0200, Johan Vromans wrote: > On Fri, 28 Apr 2017 16:12:51 +0100, Richard Shann <[email protected]> > wrote: > > > Thanks - it seems there were archaic commands (e.g. ToggleRestMode) > > which have been dropped and were a second level of crash. Your > > Default.commands (with the leading slashes present) now loads ok. > > > > In git now. > > Bingo! Let the nitpicking commence :) > > See screenshot 1: The flattener and sharpener buttons seem excessive large, > causing the Enharmonic Selection panel to occupy more vertical space than > neccessary.
ah, yes, the code had a comment saying that should be fixed. Now done. > > 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? Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
