Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| options:formatting:start [2018/01/10 19:42] – external edit 127.0.0.1 | options:formatting:start [2018/04/13 14:47] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ===== Do on Load ===== | ===== Do on Load ===== | ||
| - | * **Auto-Detect default indent** - determine default indent size from existing file content. If there is not enough data for analysis, default indent value (normally equal to syntax [[options: | + | * **Auto-Detect default indent** - determine default indent size from existing file content. If there is not enough data for analysis, default indent value (normally equal to syntax [[options: |
| ===== Do on Save ===== | ===== Do on Save ===== | ||
| * **Trim white space at the end of line** - remove all white spaces (space, blank, tab character) after the last visible char in a line when saving. The actual text, loaded in the editor is not modified (changes will be only visible after reload). | * **Trim white space at the end of line** - remove all white spaces (space, blank, tab character) after the last visible char in a line when saving. The actual text, loaded in the editor is not modified (changes will be only visible after reload). | ||
| - | * **Check encoding accuracy** - Check encoding accuracy during saving. If enabled, editor would check that all characters can be stored | + | * **Check encoding accuracy** - Check encoding accuracy during saving. If enabled, |
| ===== Others ===== | ===== Others ===== | ||
| * [[options: | * [[options: | ||
| * [[options: | * [[options: | ||