Show "Arrow Symbols" instead up "UP" "DOWN" etc.

[BeckerWdf]

On macOS we use arrow symbols (see
https://www.fileformat.info/info/unicode/char/2193/index.htm) when formatting key bindings (e.g. in tooltips or menu entries). This is much more compact then writing "UP", "DOWN", etc. and looks a lot nicer.

Let's also use this on Windows and Linux.

[BeckerWdf]

On Windows key bindings that contain the cursor keys currently look like this:

On macOS they look like this:

So the use arrow symbols like "↑".

Native Apps on Windows use this:

So writing text instead of "↑" seems to be correct but if you see closely Eclipse writes "Left" and Visual Studio write "Arrow Left" which his even longer.

VSCode on Windows does this:

Yet another way "ArrowLeft".

Native GTK Apps do this:

Even thou I did not find a key binding with including curser keys I assume that they would also use "↑" instead of something like "Up" or "Arrow Up".

I would vote for changing this to always use the symbols like "↑" on all platforms. It looks nice and does not that that much screen space.

What do you think?

[merks]

As long as they render nicely, that make good sense. That's also what they look like on my keyboard. 😜

[BeckerWdf]

That's also what they look like on my keyboard. 😜

Haha. That's true.

[BeckerWdf]

With this change windows looks like this:

[BeckerWdf]

can somebody on Linux test this PR and provide a screenshot?

[tobiasmelcher]

works as expected, thanks Matthias

[github-actions]

Test Results

 1 821 files  ±0   1 821 suites  ±0   1h 34m 26s ⏱️ + 4m 5s
 7 734 tests ±0   7 505 ✅ ±0  228 💤 ±0  1 ❌ +1 
24 363 runs  ±0  23 613 ✅ ±0  749 💤 ±0  1 ❌ +1 

For more details on these failures, see this check.

Results for commit 04d4fc7. ± Comparison against base commit 7f20954.

♻️ This comment has been updated with latest results.

[tobiasmelcher]

screenshot from Ubuntu 22.04.5 LTS

[BeckerWdf]

screenshot from Ubuntu 22.04.5 LTS

Thanks for testing. This looks nice.

[BeckerWdf]

If nobody objects I plan to merge this today EoB so that we can get feedback from users early.

[BeckerWdf]

failed test is unrelated