Antwort
Bei mir funktioniert das ohne besondere Einstellungen. Im Speichern-Dialog steht unter "Dateityp" standardmäßig "Normal text file (*.txt)" und das sorgt dafür, dass die Datei die Endung txt bekommt, selbst wenn man diese nicht explizit im Feld "Dateiname" eingibt.