This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Names for colored media keys ============================ The current names for the colored media function is simply 'Red', 'Green', ... However, order is important for these keys and that should be reflected in the name. In addition, they should share a common prefix so that they are grouped together and easier to discover. Instead of Red, Green, Yellow, Blue, Grey and Brown, we should use something like: MediaF0Red MediaF1Green MediaF2Yellow MediaF3Blue MediaF4Grey MediaF5Brown
Those look really odd names.
Note that Firefox 23 will ship the .key feature with "Red", "Green", "Yellow" and "Blue" key names in this August. If they will be renamed, please do it as soon as possible. Then, we can change them in the first implementation.
The latest ED has these media keys defined as: ColorF0Red (VK_COLORED_KEY_0) ColorF1Green (VK_COLORED_KEY_1) ColorF2Yellow (VK_COLORED_KEY_2) ColorF3Blue (VK_COLORED_KEY_3) ColorF4Grey (VK_COLORED_KEY_4) ColorF5Brown (VK_COLORED_KEY_5) These are based on the virtual key names given to the colored function keys in the media controller spec.