Previous page 5.13.4.7. Période de sauvegarde automatique.   1  2  3  4  5  6  7  8  9  10  Next page 5.13.4.9. Repliement des lignes de code HTML Up 5.13.4. Options avancées (WIT)
Table  | Images  | Bibliographie  | Glossaire  | Index  | Facettes

 Arborescence :



 Faceted index, by topics :
Menu
Affichage (4)
Aide (7)
Edition (8)
Fenêtres (1)
Fichier (49)
Idées (49)
Import/Export (15)
Modèles (72)
Mots clés (4)
Publications (20)
Tâches (1)
Vue "Normale" (12)
Vue principale (2)

Fonctionnalité
Hors version freeware (106)
Version Professionnelle (35)
 
Category
V5 (40)
V5.01 (20)
V5.10 (16)
V5.20 (31)
V5.30 (15)
 
  Comment insérer ces widgets?
Manuel de WIT
      5. Référence
          5.13. Options
              5.13.4. Options avancées (WIT)
 5.13.4.8. Taille police HTML
MenuFichier
Sous menuOptions

Cette option controle la taille de la police de caractère utilisée dans l'éditeur de code HTML brut (onglet HTML de la vue principale, mode expert).

La taille est donnée en points (valeur par défaut : 18 points).

Corrélats :  Options
Previous page 5.13.4.7. Période de sauvegarde automatique.   1  2  3  4  5  6  7  8  9  10  Next page 5.13.4.9. Repliement des lignes de code HTML Up 5.13.4. Options avancées (WIT)
Table  | Images  | Bibliographie  | Glossaire  | Index  | Facettes
Manuel utilisateur de Web Idea Tree 5.30 - Page 341 / 470
Dernière mise à jour le 29/06/2008 à 22:56:03
Copyright © Christophe Guibert, 2001-2008. Tous droits réservés.		 Conçu et produit avec WebIdeaTree