nach Eingabe von Typannahmen, dann "Enter" bleibt Fokus auf Typannahmen-Feld
Benutzt man den Typisieren-Knopf, wechselt der Fokus auf den Baum, bzw. die Pfeilknöpfe. Bei einer Eingabe im Term-Feld wechselt der Fokus unabhängig davon, ob man Enter oder Typisieren drückt, also so wie es sein sollte.