Skip to content

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

Merge request reports