Fix some bad format specifiers.
Always show shortcuts in menus, if available.
Add a tooltip to the floor/ceiling height textboxes, and fix Tab/Ctrl-A/etc.
Clarify the wording of the auto-open behavior -- I thought it was referring to /.
Merge pull request #211 from eevee/minor-ui-fixes

Minor UI fixes