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

  • From: François Revol <revol@xxxxxxx>
  • To: haiku-development@xxxxxxxxxxxxx
  • Date: Thu, 05 Apr 2012 21:11:09 +0200

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.



Other related posts: