From 2ff24a51ddd3c3604fe4203940424fea321b616e Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Mon, 29 May 2023 12:13:28 -0700 Subject: [PATCH] bold italic --- aider/io.py | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/aider/io.py b/aider/io.py index c232ff380..3bbdca3ed 100644 --- a/aider/io.py +++ b/aider/io.py @@ -5,11 +5,11 @@ from datetime import datetime from pathlib import Path from prompt_toolkit.completion import Completer, Completion -from prompt_toolkit.lexers import PygmentsLexer from prompt_toolkit.history import FileHistory +from prompt_toolkit.lexers import PygmentsLexer from prompt_toolkit.shortcuts import CompleteStyle, PromptSession, prompt from prompt_toolkit.styles import Style -from pygments.lexers import guess_lexer_for_filename, MarkdownLexer +from pygments.lexers import MarkdownLexer, guess_lexer_for_filename from pygments.token import Token from pygments.util import ClassNotFound from rich.console import Console @@ -131,7 +131,12 @@ class InputOutput: multiline_input = False if self.user_input_color: - style = Style.from_dict({"": self.user_input_color, "pygments.literal.string": f"reverse {self.user_input_color}"}) + style = Style.from_dict( + { + "": self.user_input_color, + "pygments.literal.string": f"bold italic {self.user_input_color}", + } + ) else: style = None