.DEFS Extensión de archivo
Archivo de configuración de BlueJ
| Desarrollador | University of Kent |
| Popularidad |
3.6 | 5 Votos |
¿Qué es un archivo DEFS?
Archivo de configuración creado para BlueJ, un entorno de desarrollo de Java; contiene la configuración del administrador para el programa BlueJ, como el idioma deseado y la ubicación de las bibliotecas.
Más información
Hay dos formas de cambiar la configuración de BlueJ:
- Para cambiar las opciones del usuario, con la aplicación abierta, selecciona BlueJ en la barra de menús y, luego, Preferences.... Puedes modificar la configuración en este cuadro de diálogo.
- Para cambiar las opciones del administrador, abre el archivo ubicado en: BLUEJ_HOME/lib/bluej.defs. Si usas una Mac, haz clic derecho en la aplicación BlueJ, selecciona Show Package Contents, luego Contents, después Resources y, finalmente, Java. Entonces deberías ver el archivo bluej.defs y otros archivos DEFS.
Cuando abras un archivo DEFS, contendrá una lista de propiedades con el siguiente formato: property-name = value
El nombre de la propiedad nunca debe cambiarse, pero los valores pueden modificarse para cambiar la configuración.
Nombres de archivo .DEFS comunes
bluej.defs - El archivo de configuración predeterminada ubicado en el programa BlueJ.