tabSize property

int tabSize

tab size for the CodeCrafter widget.

Defaults to 3. " " * tabSize spaces will be inserted when the user presses the tab key. This value us also used for indentation in the CodeCrafter widget.

Implementation

final int tabSize;