EditorTheme
constructor(background: Color = Color(0xFF282C34), foreground: Color = Color(0xFFABB2BF), cursor: Color = Color(0xFF528BFF), selection: Color = Color(0xFF3E4451), activeLineBackground: Color = Color(0x0B6699FF), gutterBackground: Color = Color(0xFF282C34), gutterForeground: Color = Color(0xFF7D8799), gutterActiveForeground: Color = Color(0xFFCCCCCC), gutterBorderColor: Color = Color.Transparent, searchMatchBackground: Color = Color(0x5972A1FF), searchMatchSelectedBackground: Color = Color(0x2F6199FF), selectionMatchBackground: Color = Color(0x1AAAFE66), matchingBracketBackground: Color = Color(0x4400CC00), nonMatchingBracketBackground: Color = Color(0x44CC0000), panelBackground: Color = Color(0xFF282C34), panelBorderColor: Color = Color(0xFF555555), buttonBackground: Color = Color(0xFF393939), buttonBorderColor: Color = Color(0xFF888888), inputBackground: Color = Color(0xFF282C34), inputBorderColor: Color = Color(0xFF555555), tooltipBackground: Color = Color(0xFF353A42), foldPlaceholderColor: Color = Color(0xFFDDDDDD), foldPlaceholderBackground: Color = Color(0x33EEEEEE), activeLineGutterBackground: Color = Color(0x0B6699FF), dark: Boolean = true, layout: EditorLayout = EditorLayout(), extras: Map<ThemeKey<*>, Any?> = emptyMap())