public class EditPreferencesInfo extends Object
Modifier and Type | Field and Description |
---|---|
Boolean |
autoCloseBrackets |
Integer |
cursorBlinkRate |
Boolean |
hideLineNumbers |
Boolean |
hideTopMenu |
Integer |
indentUnit |
Boolean |
indentWithTabs |
KeyMapType |
keyMapType |
Integer |
lineLength |
Boolean |
lineWrapping |
Boolean |
matchBrackets |
Boolean |
showBase |
Boolean |
showTabs |
Boolean |
showWhitespaceErrors |
Boolean |
syntaxHighlighting |
Integer |
tabSize |
Theme |
theme |
Constructor and Description |
---|
EditPreferencesInfo() |
public Integer tabSize
public Integer lineLength
public Integer indentUnit
public Integer cursorBlinkRate
public Boolean hideTopMenu
public Boolean showTabs
public Boolean showWhitespaceErrors
public Boolean syntaxHighlighting
public Boolean hideLineNumbers
public Boolean matchBrackets
public Boolean lineWrapping
public Boolean indentWithTabs
public Boolean autoCloseBrackets
public Boolean showBase
public Theme theme
public KeyMapType keyMapType
public static EditPreferencesInfo defaults()