Searched refs:style_punct (Results 1 – 1 of 1) sorted by relevance
88 style_punct = "" variable in AnsiColorTheme116 style_punct = Color.normal variable in DefaultTheme140 style_punct = Color.normal variable in BrightTheme162 style_punct = Color.red variable in RastaTheme186 style_punct = Color.normal variable in ColorOnBlackTheme