[haiku-development] Re: Key roles vs. key label in menus
- From: John Scipione <jscipione@xxxxxxxxx>
- To: haiku-development@xxxxxxxxxxxxx
- Date: Thu, 5 Apr 2012 15:02:40 -0400
>> For Option, as was stated previously, there is no obvious choice. But,
>> as was stated before my original suggestion, Option Key ⌥ is logical
>> and so I still say we go with that. If you have doubts, the actual
>> Unicode name for that symbol is OPTION KEY. So, it seems like a good
>> "option" to me. :)
>
> Note there is also an ALTERNATIVE KEY SYMBOL U+2387 ⎇
Yes, that is a good "alternative" :) Seriously, though, either works.
> Oh there is a HELM SYMBOL U+2388 ⎈ with alternative name as "control".
> Not very visual though.
I considered that, but, it looks like a spider web to me.
John Scipione
Other related posts: