public class FormatterPreferenceKeys
extends java.lang.Object
General preference keys used by this formatting infrastructure. Formatters based on this infrastructure should honor these keys as well.
To set a values for one of these keys, use FormatterRequest.setPreferences(ITypedPreferenceValues).
To access a value for one of these keys, use AbstractFormatter2.getPreference(TypedPreferenceKey).
To introduce new keys, subclass this class (see also PreferenceKeysProvider.allConstantKeys(Class...).
TypedPreferenceValues| Modifier and Type | Field and Description |
|---|---|
static StringKey |
indentation
The characters used for one level of indentation.
|
static IntegerKey |
indentationLength
Deprecated.
use
tabWidth |
static StringKey |
lineSeparator
The characters used to wrap lines.
|
static IntegerKey |
maxLineWidth
The maximum of characters that may fit into one line.
|
static IntegerKey |
tabWidth
The display-width of one tab character.
|
| Constructor and Description |
|---|
FormatterPreferenceKeys() |
public static StringKey lineSeparator
\n or \r\n.public static StringKey indentation
@Deprecated public static IntegerKey indentationLength
tabWidthpublic static IntegerKey tabWidth
indentation is \t and the display-width of one tab is fours, then this values should be four. The formatter uses
this value to compute when maxLineWidth has been exceeded.public static IntegerKey maxLineWidth