Tabs and Indents
This feature is available with the Database Tools and SQL plugin installed on the Settings | Plugins page, tab Marketplace, as described in Installing plugins from JetBrains Marketplace.
Please note that it is a paid plugin.
Configure code style for indents, TAB and SPACE characters.
Item | Description |
|---|---|
Use tab character | Use TAB characters instead of SPACE characters for indents. A TAB character appears when you press Tab. A SPACE character when you press Space. |
Smart tabs | Use the combination of TAB and SPACE characters depending on the context. |
Tab size | Set the size of a single TAB character (in a number of SPACE characters). |
Indent | Set the size of an indent (in a number of SPACE characters). Indent is a position of a text relative to the margin. In our case, the margin is a gutter with line numbers. |
Continuation indent | Add a number of SPACE characters to an indent on a next line for a multiline expression. |
Keep indents on empty lines | Keep indents if the line is empty. |
Thanks for your feedback!