Re: [Denemo-devel] changing pitch with key strokes ?

[Richard Shann]

On Wed, 2011-06-01 at 18:49 +0200, Nils Gey wrote:
> 
> Am Tue, 31 May 2011 14:24:18 -0400 (EDT)
> schrieb Bric <address@hidden>:
> > Also, to be absolutely greedy and ambitious for denemo :-) ...
> >  
> > Another key combo, perhaps Ctrl+Alt+Shift+[Up/Down], would not
> change
> > the real pitch but would force a different notational expression of
> > the same pitch --
> 
> This is in git now. The commands are called ChangeEnharmonic+ and
> ChangeEnharmonic- 

I am worried that these names will break some filesystem's naming
convention - they will be used as file names.
I think we should stick to CamelCase alphanumeric starting with
Alphabetic for command names.

What could these be changed to? ChangeEnharmonicUp and Down perhaps?

Richard