indentationProperty
Should the Tab key insert a Tab character or spaces? How many columns should a tab character appear as / how many spaces should we insert when the Tab
key is pressed?
This is initially bound to GlokSettings.defaultIndentationProperty, so if you wish to change it for a single TextArea, then first unbind, and then set the value.
TextArea and StyledTextArea support Indentation.behaveLikeTabs, which positions the caret to indentation boundaries whenever possible. Editing space-based documents feels as if they were tab-based. This is preferred mode, and I'm very surprised that other editors do not support it.