Instanziierung der Tooltips
hier gilt t1 := a3, t2 := a4, und t1->t2 unten ist durch einen Constraint umgesetzt. Das sollte im Tooltip angezeigt werden (unter der generellen Regel).
Teilaufgaben:
-
AbsStepDefault -
andere Schritte -
Instanziierung von Parametern außer den Typen: die Terme? überlegen, ob das überhaupt sinnvoll ist -> Update: nicht sinnvoll -
wenn man während der Tooltip angezeigt wird den Baum verschiebt, bleibt die Instanziierung oft an der alten Position hängen -
der Instanziierungstooltip hat keinen festgelegten Hintergrund -
Definitionen von Var und Const sind konsistent mit anderen Tooltips -
Lücke beim const Tooltip entfernen -
Tooltip ansprechender gestalten: linker Rand vom Hintergrund sollte einheitlich sein, etwas mehr padding um den Text
Edited by uskyk