INI-Datei editieren

Bei Auswahl dieses Befehls wird die aktuelle INI-Datei geöffnet und kann anschließend in einem Texteditor editiert werden.