Extension de fichier .defs
Type de fichier BlueJ Settings File
| Développeur | University of Kent |
| Catégorie | Fichiers de développeur |
| Le format | Text |
Qu’est-ce qu’un fichier DEFS?
Fichier de configuration créé pour BlueJ, un environnement de développement Java; contient les paramètres d’administrateur du programme BlueJ, tels que la langue souhaitée et l’emplacement des bibliothèques.
Plus d'informations
Il existe deux façons de modifier les paramètres de configuration BlueJ:
Une fois que vous avez ouvert un fichier DEFS, celui-ci contient une liste de propriétés au format suivant: nom-propriété = valeur
Le nom de la propriété ne doit jamais être changé, mais les valeurs peuvent être modifiées pour modifier la configuration.
Noms communs de fichiers DEFS
bluej.defs - Le fichier de paramètres par défaut situé dans le programme BlueJ.
Programmes qui ouvrent des fichiers DEFS