.DEFS Dateiendung
BlueJ-Einstellungsdatei
| Entwickler | University of Kent |
| Beliebtheit |
3,6 | 5 Stimmen |
Was ist eine DEFS-Datei?
Konfigurationsdatei für BlueJ, eine Java-Entwicklungsumgebung; enthält Administratoreinstellungen für das BlueJ-Programm, z. B. die gewünschte Sprache und den Speicherort von Bibliotheken.
Weitere Informationen
Es gibt zwei Möglichkeiten, die BlueJ-Konfigurationseinstellungen zu ändern:
- Um Benutzeroptionen zu ändern, wählen Sie bei geöffneter Anwendung in der Menüleiste BlueJ und anschließend Preferences.... Sie können die Einstellungen in diesem Dialogfeld ändern.
- Um Administratoroptionen zu ändern, öffnen Sie die Datei unter: BLUEJ_HOME/lib/bluej.defs. Klicken Sie auf einem Mac mit der rechten Maustaste auf die BlueJ-Anwendung und wählen Sie Show Package Contents, anschließend Contents, dann Resources und schließlich Java. Nun sollten Sie die Datei bluej.defs und weitere DEFS-Dateien sehen.
Nach dem Öffnen einer DEFS-Datei enthält diese eine Liste von Eigenschaften im folgenden Format: property-name = value
Der Eigenschaftsname sollte niemals geändert werden, aber die Werte können geändert werden, um die Konfiguration anzupassen.
Häufige .DEFS-Dateinamen
bluej.defs - Die Standard-Einstellungsdatei im BlueJ-Programm.