Previous page 5.13.4.7. Autosave period   1  2  3  4  5  6  7  8  9  10  11  Next page 5.13.4.9. Wrap HTML lines Return 5.13.4. Advanced WIT options
Table  | Images  | Bibliography  | Glossary  | Index  | Faceted index

 Tree :



 Faceted index, by topics :
Menu
"Main" tree view (1)
"Normal" view (15)
Display (4)
Edit (9)
File (52)
Help (7)
Ideas (57)
Import/Export (16)
Keywords (6)
Publications (19)
Tasks (1)
Templates (72)
Windows (1)

Feature
Not in freeware edition (118)
Professional ed. only (40)
 
Category
V5 (46)
V5.01 (21)
V5.10 (15)
V5.20 (32)
V5.30 (16)
V5.31 (1)
V5.32 (4)
V5.33 (16)
V5.34 (7)
V5.35 (2)
V5.40 (27)
V5.41 (7)
V5.42 (4)
V5.43 (6)
V5.50 (1)
V5.60 (1)
V5.61 (2)
V5.70 (9)
V5.71 (4)
 
 How to insert these widgets?
WIT Manual
      5. Reference
          5.13. Options
              5.13.4. Advanced WIT options
 5.13.4.8. HTML font size 
MenuFile
Sub menuOptions (advanced)

This option controls the font size of HTML raw editor (expert mode).

Give the size in points. 18 points is the default value.

Keywords :  Task
Previous page 5.13.4.7. Autosave period   1  2  3  4  5  6  7  8  9  10  11  Next page 5.13.4.9. Wrap HTML lines Return 5.13.4. Advanced WIT options
Table  | Images  | Bibliography  | Glossary  | Index  | Faceted index
Web Idea Tree 5.70 User's Manual - Page 355 / 485
Last update 01/12/2019 at 16:41:20
Copyright © Christophe Guibert 2001-2018. All rights reserved.		 Conçu et produit avec WebIdeaTree