Hugo Locurcio db920eb7f0 Use Unicode arrow symbols throughout the editor ...

This does not apply to text printed to the Output panel, as the fixed-width
font may not have the glyph in its character set (or if it does, the arrow
character may be hard to read).

2025-12-02 01:36:35 +01:00

40 KiB

Raw Blame History

View Raw