Bad editor font

If I'm not mistaken, the editor font was changed with the last update and cannot be changed.
However, the dot that displays spaces sits so far to the right that it touches the following letter. Or to the right of the cursor. Is there any way to change this?Screenshot of Trados Studio editor showing text with a space dot touching the following letter, indicating a possible font display issue.



Generated Image Alt-Text
[edited by: Trados AI at 3:32 AM (GMT 0) on 29 Feb 2024]
emoji
Parents Reply Children