The basic logic for hot keys is to use the first letter if there is no key binding. If there is a binding, try the users edit (hot key on the menu resource). However, the logic for "View" and "Tools" is special cased. For these, the first letter is checked for no binding. Then the second letter is checked for no binding. If both fail, then the users edit is checked. If all fail, and we are on Ubuntu with Unity, then remove the hot key letter.