[Denemo-devel] blind again- "Non-printing staff" option gone(?)

[Bric]

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"