Klappt wunderbar.

In den Eigenschaften den Schreibschutz aktivieren, Spiel starten, die Befehlszeile schreiben, Enter druecken, Konsole schließen und siehe da....... speichern und fertig.

Einbussen in der Perfromance konnte ich nicht feststellen.