Ah, thank you!
Strange anyway: following the Information shown in the open Settings Panel, the "preferences button should be present in the main toolbar, but in fact, it isn't. Removing some other Buttons didn't solve the Problem.
Nevertheless, the "preferences" button is now in the second toolbar on the bottom.
>I also decreased the font-size of the Symbols, they became smaller, but the missing ones still did not appear.
Last edited by Leonatus; 07-02-2017 at 10:59 AM.
|