TextScriptingTheme
class TextScriptingTheme
Class information
public class TextScriptingTheme
— Methods (28) —
| Name | Description |
|---|---|
| Color textColor = new Color("#ABB7C5") | Missing information |
| Color backgroundColor = new Color("#1f1f1f") | Missing information |
| Color gutterColor = new Color("#2e2e2e") | Missing information |
| Color gutterDividerColor = new Color("#555555") | Missing information |
| Color gutterCurrentLineNumberColor = new Color("#A4A3A3") | Missing information |
| Color gutterTextColor = new Color("#616366") | Missing information |
| Color selectedLineColor = new Color("#3A3A3A") | Missing information |
| Color selectionColor = new Color("#28427F") | Missing information |
| Color suggestionQueryColor = new Color("#987DAC") | Missing information |
| Color findResultBackgroundColor = new Color("#33654B") | Missing information |
| Color delimiterBackgroundColor = new Color("#33654B") | Missing information |
| Color numberColor = new Color("#6897BB") | Missing information |
| Color operatorColor = new Color("#E8E2B7") | Missing information |
| Color keywordColor = new Color("#EC7600") | Missing information |
| Color typeColor = new Color("#EC7600") | Missing information |
| Color langConstColor = new Color("#EC7600") | Missing information |
| Color preprocessorColor = new Color("#C9C54E") | Missing information |
| Color variableColor = new Color("#9378A7") | Missing information |
| Color methodColor = new Color("#FEC76C") | Missing information |
| Color stringColor = new Color("#6E875A") | Missing information |
| Color commentColor = new Color("#66747B") | Missing information |
| Color tagColor = new Color("#E2C077") | Missing information |
| Color tagNameColor = new Color("#E2C077") | Missing information |
| Color attrNameColor = new Color("#BABABA") | Missing information |
| Color attrValueColor = new Color("#ABC16D") | Missing information |
| Color entityRefColor = new Color("#6897BB") | Missing information |
| Color gutterLineError = new Color("#ff0000") | Missing information |
| Color gutterLineAlert = new Color("#f1c40f") | Missing information |