Benutzerhandbuch für Java Desktop System Version 3

Einstellungen für den Texteditor

Verwenden Sie den Registerabschnitt Texteditor, um Ihren bevorzugten Texteditor zu konfigurieren.

Tabelle 7–22 enthält eine Liste der Einstellungen für den bevorzugten Texteditor, die von Ihnen geändert werden können.

Tabelle 7–22 Einstellungen für den bevorzugten Texteditor

Dialogfeldelement 

Beschreibung 

Editor auswählen

Wählen Sie diese Option aus, wenn Sie einen Standard-Texteditor verwenden möchten. Verwenden Sie das Dropdown-Kombinationsfeld, um Ihren bevorzugten Texteditor anzugeben. 

Benutzerdefinierter Editor

Wählen Sie diese Option aus, wenn Sie einen custom Texteditor verwenden möchten. Es erscheint das Dialogfeld Eigenschaften für Custom Editor.

  • Name: Geben Sie den Namen des benutzerdefinierten Texteditors ein.

  • Befehl: Geben Sie den Befehl ein, der zum Starten des benutzerdefiniertenTexteditors ausgeführt werden soll.

  • Diese Anwendung kann mehrere Dateien öffnen: Wählen Sie diese Option aus, wenn der Standardtexteditor in der Lage sein soll, mehrere Dateien zu öffnen.

  • Diese Anwendung muss in einer Shell ausgeführt werden: Wählen Sie diese Option aus, um den Befehl in einem Terminal-Fenster auszuführen. Diese Option eignet sich für einen Editor, der kein Fenster für die Ausführung erstellt.

Nachdem Sie einen eigenen Editor festgelegt haben, können Sie auf Eigenschaften klicken, um das Dialogfeld Eigenschaften des benutzerdefinierten Editors zu öffnen. Verwenden Sie das Dialogfeld, um die Eigenschaften des benutzerdefinierten Texteditors zu ändern.

Diesen Editor zum Öffnen von Textdateien im Dateimanager verwenden

Wählen Sie diese Option aus, wenn der Dateimanager den benutzerdefinierten Texteditor starten soll, um Textdateien anzuzeigen.