Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| options:syntax:font_and_colors [2018/01/10 19:42] – external edit 127.0.0.1 | options:syntax:font_and_colors [2018/04/13 14:52] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| {{ : | {{ : | ||
| - | You can use monospaced or non-monospaced fonts (monospaced are preferable, if you often work with block selection), any size fonts or select to use fonts from parent languages (Use from //< | + | You can use monospaced or non-monospaced fonts (monospaced are preferable if you often work with block selection), any size fonts or select to use fonts from parent languages (Use from //< |
| You can use explicit colors or indirect color indexes that referrers to some color from the [[options: | You can use explicit colors or indirect color indexes that referrers to some color from the [[options: | ||
| Line 43: | Line 43: | ||
| * **Plain4x** - plain, 4px underlining | * **Plain4x** - plain, 4px underlining | ||
| - | //Colour// may be any from palette colors or explicit/ | + | //Colour// may be any of palette colors or explicit/ |
| ==== Box ==== | ==== Box ==== | ||