Tips & Tricks

Dateierweiterung

Damit der PuppetEd auch andere Dateien darstellen kann, muß man diese Dateierweiterungen für den PuppetEd registrieren.
Hierzu ruft man im Menü Window den Punkt Preferences... auf:

In diesem Fenster wählt man im Linken Teil den Punkt General->Editors->File Associations aus.
Danch klickt man recht neben File types auf Add.... In dem sich öffnenden Fenster gibt man dann den neuen Dateityp ein. Beispielsweise *.txt und klickt auf OK.
Anschließend wählt man den neu erstellten (oder ewentuell einen bereits vorhandenen) Eintrag aus und klickt unten rechts neben Associated editors auf Add....

In diesem Fenster wählt man nun den PuppetEditor aus und bestätigt mit OK

Abschließend kann man noch den PuppetEd mit einem Klick auf Default zum Standarteditor für diese Dateierweiterung machen. Macht man das nicht, so muß man die Dateien in der Navigator-View mit einem Rechtsklick->Open with->PuppetEditor öffnen.