typereconstruction beenden #134
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Wenn der Save-Button gedrückt wird, sollte die laufende TypeReconstruction beendet werden.
Dazu müssen alle Threads registriert werden, um sie dann zu beenden.
Die Registrierung der Threads müsste erfolgt sein. Allerdings ist nicht klar erkennbar, ob beim Drücken des SAVE-Bottons die Threads wirklich beendet werden.
Bitte nochmals überprüfen.
Alle Bullets sollten gelöscht werden, dadurch wird deutlich, dass die Typinferenz tatsächlch neu gestratet wurde.
weitgehend gelöst mit 9e78c6e91c46874238195bd4ab1b8bec0f356a1a
Kleiner Rest, sollte auch beendet werden, wenn Tab geschlossen wird.
Michael prüft, ob das einfach zu erledigen ist.
erledigt, Problem mit gelöschten Tabs lässt sich nicht einfach lösen