Re: Rename \unHideNotes to \unhideNotes

[Mark Polesky]

Dénes Harmath wrote:
> Mark Polesky wrote:
> > This suggests that the command is derived from "hideNotes":
> > "un" + "hideNotes" = "unHideNotes"
>
> That logic isn't applied in the case of \set and \unset. That's
> why I am (and maybe also others are) always confused.

Oh, I hadn't thought of that.

>
> Sorry for nitpicking about syntax issues, but a consistent
> convention is easier to remember.

Absolutely no need to apologize for nitpicking about syntax
issues, especially to me! (: I'm a stickler for consistency (among
other things).

But as you know, syntax changes are not made lightly. If enough
developers agree that a change is preferable, then perhaps it will
be made.

\unset -> \unSet
or
\unHideNotes -> \unhideNotes

If I had to pick one, I'd pick the second one, since it means less
capitals (less holding down the <SHIFT> key). But I'm by no means
in charge of these sorts of things.

Anyone else care to comment?

- Mark