The source project of this merge request has been removed.
Make tooltips shorter and use header capitalization; tweak shortcut names from help-overlay
See commit descriptions for more details.
Closes #75 (closed)
Edited by Automeris naranja
See commit descriptions for more details.
Closes #75 (closed)