Use correct unicode symbols for keyboard shortcut hints

[martenbjork]

We currently use the wrong symbol for ctrl. It's not the thin caret that we have on our keyboards (on the 6 key), it's a wider, more geometric arrow.

TODO

Update the text strings to use the correct unicode symbol

• Tooltips
• Menus

Tip: Maybe create a helper function for this to avoid hard coding the unicode symbol everywhere?

keyboard_shortcut(["ctrl", "command", "P") => ⌘⇧P?

Reference

For reference, these are the correct unicode symbols (they can be copy/pasted)

Command (or Cmd) ⌘
Shift ⇧
Option (or Alt) ⌥
Control (or Ctrl) ⌃
Caps Lock ⇪

[abey79]

This needs fixing in egui, and then it'll be fool-proof. It'll take an egui release and a dependency version bump here for this to show up in demos, though.