fürs teilen.PS: Ich fände es schöner, wenn der Source-Manager einen eigenen Tab verwenden würde,
statt einen vorhanden vorübergehend zu mißbrauchen
Ausserdem ein manuelles schliessen, so das man den Manager in seinem eigenen Tab offen
lassen kann.
Aber bevor Du da noch Erweiterungen einbaust, warte erstmal PB4.60 ab, da gibts wohl ne
Menge Änderungen an der IDE, so das alles für die Katz wäre
Gruß
Thomas
