Differences
This shows you the differences between the selected revisions of the page.
| 2019-04-23 | 2019-11-18 | ||
| misplaced ad (martin) | font explicit anchor (martin) | ||
| Line 13: | Line 13: | ||
| Use //Default encoding// to select default encoding for edited files. If the file includes UTF-8 BOM, UTF-8 encoding is used, disregarding the preference. You can also change encoding for particular file on [[ui_editor|internal editor window]]. | Use //Default encoding// to select default encoding for edited files. If the file includes UTF-8 BOM, UTF-8 encoding is used, disregarding the preference. You can also change encoding for particular file on [[ui_editor|internal editor window]]. | ||
| - | ===== Font ===== | + | ===== [[font]] Font ===== |
| Use //Select Font// button to select font for an [[ui_editor|internal editor]]. The preview on the right will show you what the font looks like. | Use //Select Font// button to select font for an [[ui_editor|internal editor]]. The preview on the right will show you what the font looks like. | ||