2
Cliquez sur l'icône Préférences personnelles afin d'afficher la boîte de dialogue correspondante.
3
Cliquez sur Définir les paramètres de l'éditeur.
4
Cliquez sur Ajouter.
5
Dans la liste déroulante, sélectionnez l'extension de fichier pour laquelle vous voulez changer l'application d'édition par défaut.
L'application doit prendre en charge la modification à l'aide d'URL WebDAV. Par exemple, le
Bloc-notes ne prendre pas en charge la modification à l'aide d'URL WebDAV et ne peut dès lors pas être utilisé.
6
Dans le champ Application, indiquez le nom de l'application que vous voulez utiliser pour modifier le type de fichiers que vous avez sélectionné à l'
Étape 5
.
Si l'application que vous spécifiez se trouve dans la variable d'environnement du chemin système, ne spécifiez que le nom de l'application ; si l'application ne se trouve pas dans la variable d'environnement du chemin système, vous devez spécifier le chemin d'exécution complet.
7
Cochez la case, puis cliquez sur OK.
A.2.3
Modification des paramètres de l'éditeur par défaut pour tous les types de fichier
Vous pouvez configurer Filr de manière à utiliser la même application d'édition pour tous les types de fichiers.
1
Cliquez sur le lien dans le coin supérieur droit d'une page Filr.
2
Cliquez sur l'icône Préférences personnelles afin d'afficher la boîte de dialogue correspondante.
3
Cliquez sur Définir les paramètres de l'éditeur.
4
Cliquez sur la liste déroulante Utiliser, puis sélectionnez l'application que doit utiliser Filr pour
éditer tous les types de fichiers.
5
Cochez la case à gauche du terme Extension, puis cliquez sur OK.
A.2.4
Modification des paramètres par défaut de l'éditeur lorsque celui-ci n'est pas installé à l'emplacement par défaut
1
Cliquez sur le lien dans le coin supérieur droit d'une page Filr.
Dépannage
79
