Sprachen

Version 1.2.12

Version 1.2.12 bringt kleine Verbesserungen: Terme können nun leichter im Grafikfenster ausgewählt werden, und das Grafikfenster "fängt" den Keyboard-Focus nicht mehr. Dadurch wird die Verwendung der Eingabezeile leichter, weil der Cursor nun nicht mehr dauernd verschwindet, wenn die Maus in das Grafikfenster eintritt.

Dadurch ist es nicht mehr möglich, die Grafik in die Zwischenablage zu kopieren, wenn die Eingabezeile den Cursor enthält. Klicken Sie vorher einfach auf das Grafikfenster.