GUI während des PPPens "einfrieren"?
Opened this issue · 0 comments
jon-kroko commented
Wenn über die GUI Methoden zum PPPen ausgewählt werden, dann soll man diese Selection während des PrettyPrint-Vorgangs nicht mehr ändern können.
Opened this issue · 0 comments
Wenn über die GUI Methoden zum PPPen ausgewählt werden, dann soll man diese Selection während des PrettyPrint-Vorgangs nicht mehr ändern können.