Advanced Search

Question: How to fix a random change of characters in the Maple 2030 editor?

Question:How to fix a random change of characters in the Maple 2030 editor?

Bachatero 40 Maple 2023
gui
December 30 2023
2

Hi,

is there fix for the following quirk in the Maple 2023 editor:

randomly (hours, days) some characters change their appearance like p.e. the = sign becomes d-bold or sigma becomes s-bold. I have never experienced this in previous versions.

Thanks in advance.
Please Wait...