Outils pour utilisateurs

Outils du site


public:txm_debug

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
public:txm_debug [2019/07/09 16:01]
matthieu.decorde@ens-lyon.fr [Fichiers de préférences importants]
public:txm_debug [2019/07/09 16:09] (Version actuelle)
matthieu.decorde@ens-lyon.fr [Voir et modifier les préférences]
Ligne 76: Ligne 76:
 ==== Voir et modifier les préférences ==== ==== Voir et modifier les préférences ====
  
-Le plugin [[https://​marketplace.eclipse.org/​content/​preference-editor|Preference Editor]] permet de modifier les valeurs de préférences du scope INSTANCE ou bien d'un répertoire de projet.+Le plugin [[https://​marketplace.eclipse.org/​content/​preference-editor|Preference Editor]] permet de modifier les valeurs de préférences du scope INSTANCE, CONFIGURATION,​ BUNDLE (bundle_defaults) et DEFAULT ​ou bien d'un répertoire de projet.
  
 Utilisation depuis Eclipse : Utilisation depuis Eclipse :
Ligne 83: Ligne 83:
   * dans la fenêtre ouverte sélectionner le répertoire "​Preferences"​ puis l'​entrée "​Preferences"​   * dans la fenêtre ouverte sélectionner le répertoire "​Preferences"​ puis l'​entrée "​Preferences"​
   * La vue s'​ouvre sur le scope INSTANCE   * La vue s'​ouvre sur le scope INSTANCE
-  * pour voir&​modifier les préférences de corpus, il faut cliquer sur bouton "​répertoire"​ et sélectionner le répertoire racine du corpus binaire (TXMHOME/​corpora/​lecorpus)+  * <del>pour voir&​modifier les préférences de corpus, il faut cliquer sur bouton "​répertoire"​ et sélectionner le répertoire racine du corpus binaire (TXMHOME/​corpora/​lecorpus)</​del>​ MD: marche pas ?
 ==== Fichiers de préférences de chaque commande et plug-ins ==== ==== Fichiers de préférences de chaque commande et plug-ins ====
  
public/txm_debug.txt · Dernière modification: 2019/07/09 16:09 par matthieu.decorde@ens-lyon.fr