[haiku-development] Re: Key roles vs. key label in menus

On 05/04/2012 21:02, John Scipione wrote:
>>> 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.

I was thinking about ALT actually for this one (or command rather).
But maybe it's not distinct enough from the OPTION symbol.

> 
>> 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.

Ditto.

François.

Other related posts: