Manchmal funktionieren Sachen, manchmal aber auch nicht 😀 Welche Weisheit. So funktionierte unter Ubuntu 8.04 z.B. oben Genanntes nicht. Ich konnte sie zwar öffnen, aber nicht speichern.
Geholfen hat mir dieses hier: Dateien auf einem FTP mit Gedit bearbeiten und speichern. Dort wird beschrieben, wie man im Config-Editor für den Editor einen Schlüsselwert hinzufügt.
(Die Version 8.04 muss ich auf meinem Standrechner nutzen, weil bei 8.10 der Bildschirm nach dem Ladebalken nur die Info “Digitial Aus.Spezifikationf 16.0 kHz / 15 Hz” anzeigt)