Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| options:syntax:tabs_and_spaces [2018/01/10 19:42] – external edit 127.0.0.1 | options:syntax:tabs_and_spaces [2018/04/13 14:49] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| Settings for tab size and tab inserting behavior can be found in Tools → Options → Formatting page. | Settings for tab size and tab inserting behavior can be found in Tools → Options → Formatting page. | ||
| - | [[options: | + | [[options: |
| ===== Tabs and Spaces insert mode ===== | ===== Tabs and Spaces insert mode ===== | ||
| Line 9: | Line 9: | ||
| {{ : | {{ : | ||
| - | * **Auto (determine from content)** – editor tries to find out from existing content of the document, if tabs are used or not. If tabs are not found then spaces should be inserted when indenting done (equals to Replace Tabs by Spaces mode). | + | * **Auto (determine from content)** – editor tries to find out from existing content of the document, if tabs are used or not. If tabs are not found then spaces should be inserted when indenting |
| - | * **Keep as Typed – default setting.** Editor inserts symbols as typed. Tab symbol for tab and spaces are not merged | + | * **Keep as Typed – default setting.** Editor inserts symbols as typed. Tab symbol for tab and spaces are not merged |
| - | * **Replace Tabs by Spaces** – inserted tabs replaced by the editor to corresponding count of spaces (depends | + | * **Replace Tabs by Spaces** – inserted tabs replaced by the editor to the corresponding count of spaces (depends |
| * **Replace Spaces by Tabs** – continues typed spaces group replaced by one Tab symbol. | * **Replace Spaces by Tabs** – continues typed spaces group replaced by one Tab symbol. | ||
| - | If Replace Tabs by Spaces or Spaces by Tabs mode is selected, corresponding conversion will be applied to document during saving. | + | If Replace Tabs by Spaces or Spaces by Tabs mode is selected, |
| ===== Do on Save ===== | ===== Do on Save ===== | ||
| - | **Trim white spaces at the end of line** – if enabled, editor trims trailing | + | **Trim white spaces at the end of line** – if enabled, editor trims trailing |
| **Check encoding accuracy** – if set, editor will check that all characters from the document can be saved with current encoding without data loss (because HippoEDIT internally process text as Unicode, it can happen that some Unicode characters cannot be save using current encoding and will be lost or replaced by substitution symbol). | **Check encoding accuracy** – if set, editor will check that all characters from the document can be saved with current encoding without data loss (because HippoEDIT internally process text as Unicode, it can happen that some Unicode characters cannot be save using current encoding and will be lost or replaced by substitution symbol). | ||