.DEFS Estensione file
File delle impostazioni di BlueJ
| Sviluppatore | University of Kent |
| Popolarità |
3,6 | 5 Voti |
Che cos'è un file DEFS?
File di configurazione creato per BlueJ, un ambiente di sviluppo Java; contiene le impostazioni dell'amministratore per il programma BlueJ, come la lingua desiderata e la posizione delle librerie.
Maggiori informazioni
Esistono due modi per modificare le impostazioni di configurazione di BlueJ:
- Per modificare le opzioni dell'utente, con l'applicazione aperta, seleziona BlueJ dalla barra dei menu, quindi Preferences.... Puoi modificare le impostazioni in questa finestra di dialogo.
- Per modificare le opzioni dell'amministratore, apri il file che si trova in: BLUEJ_HOME/lib/bluej.defs. Se usi un Mac, fai clic con il pulsante destro del mouse sull'applicazione BlueJ, seleziona Show Package Contents, quindi Contents, poi Resources e infine Java. Dovresti quindi vedere il file bluej.defs e altri file DEFS.
Una volta aperto un file DEFS, conterrà un elenco di proprietà nel seguente formato: property-name = value
Il nome della proprietà non deve mai essere modificato, ma i valori possono essere modificati per cambiare la configurazione.
Nomi file .DEFS comuni
bluej.defs - Il file delle impostazioni predefinite che si trova nel programma BlueJ.