Zitat:
---------------------------
Plugin-Einstellungen geändert
---------------------------
Um die Änderugnen zu übernehmen, muss das Programm neu gestartet werden.
Soll DevProject Manager jetzt beendet werden?
---------------------------
Ja Nein
---------------------------
Es wäre sinnvoll wenn das Programm auch von selbst neu starten würde, und nicht nur beendet werden würde.
