Show alt key on Mac as `"Option"`, not `"Alt"`#2981

Merged

emilk merged 1 commit intomasterfrom fix-alt-key-text

May 10, 2023

+4-1

Commits on May 9, 2023

Show alt key on mac as "Option", not "Alt"
Wumpf
committed