Beim Beginnen einer Typinferenz sollte der Ableitungsbaum auf jeden Fall sichtbar sein
Wenn ich eine Typinferenz mit manchen Termen starte, wie zum Beispiel "let k = λx.λy.x in s k k", ist das Fenster des Ableitungsbaums leer, weil der Baum außerhalb des sichtbaren Bereichs ist, und man muss den Baum erst finden und reinziehen. Wenn noch zusätzlich "s:∀τ₁,τ₂,τ₃.(τ₁->τ₂->τ₃)->(τ₁->τ₂)->τ₁->τ₃" als Typannahmen hinzugenommen werden, kommt der Baum nicht einmal dann in den sichtbaren Bereich, wenn man bis ans Ende der Inferenz springt.
Zu Beginn der Typinferenz sollte in jedem Fall der Start des Ableitungsbaums sichtbar sein, da man sonst den Baum nicht so einfach findet (insbesondere weil man nicht weiß, in welcher Richtung dieser ist). Genauso sollte zumindest ein Teil des Baumes sichtbar sein, wenn man auf den "Reset"-Knopf des Ableitungsbaum-Fensters klickt.