Outils pour utilisateurs
td_histoire_numerique:jedit
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
|
td_histoire_numerique:jedit [2014/10/08 18:06] Francesco Beretta [Installer le plugin XML] |
td_histoire_numerique:jedit [2014/10/08 18:06] Francesco Beretta [Activation de l'éditeur jEdit pour notre projet] |
||
|---|---|---|---|
| Ligne 87: | Ligne 87: | ||
| * Dans 'Zone de texte' modifier la taille de la police de l'éditeur si souhaité | * Dans 'Zone de texte' modifier la taille de la police de l'éditeur si souhaité | ||
| - | \\ | ||
td_histoire_numerique/jedit.txt · Dernière modification: 2016/07/07 16:06 par Francesco Beretta
