Searched defs:style_prompt (Results 1 – 1 of 1) sorted by relevance
111 style_prompt = "" variable in ColorTheme185 style_prompt = Color.blue + Color.bold variable in DefaultTheme233 style_prompt = Color.yellow + Color.bold variable in RastaTheme257 style_prompt = Color.green + Color.bold variable in ColorOnBlackTheme294 style_prompt = r"\textcolor{blue}{%s}" variable in LatexTheme322 style_prompt = r"@`@textcolor@[@blue@]@@[@%s@]@" variable in LatexTheme2342 style_prompt = "<span class=prompt>%s</span>" variable in HTMLTheme361 style_prompt = "#[#span class=prompt#]#%s#[#/span#]#" variable in HTMLTheme2