I just looked in my old 0.9.3, and was relieved to know I'm not
completely insane — there DOES exist something called "non-printing"
under the staff menu tree -- but it exists in the OLD and not the new
version!
I don't see it under "Staff/Voices" in the latest git build, and if it's
moved somewhere else, I can't find it!
Richard, does this have something to do with what you wrote in the
previous message? About disappearing commands. I would think not,
right? Because menu items and keyboard commands are two different things...
That said, and with all the talk about "hidden", "disappearing" and
stuff... I scrolled through the commands and noticed that some where
expressly hidden (with a check mark in the "hidden" column); but I
didn't find "ToggleNonPrinting" or some such, among the hidden ones in
my git build... So it looks like it's been disappeared (toggled out!)
(I will try to wrap my mind around the
"~/.denemo-nnn/actions/Default.commands"
_______________________________________________
Denemo-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/denemo-devel