dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-06-01 02:05:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

bold italic

Browse source
This commit is contained in:
Paul Gauthier 2023-05-29 12:13:28 -07:00
parent fbb14b2823
commit 2ff24a51dd
1 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
aider/io.py
View file

@ -5,11 +5,11 @@ from datetime import datetime
from pathlib import Path from pathlib import Path
from prompt_toolkit.completion import Completer, Completion from prompt_toolkit.completion import Completer, Completion
from prompt_toolkit.lexers import PygmentsLexer
from prompt_toolkit.history import FileHistory from prompt_toolkit.history import FileHistory
from prompt_toolkit.lexers import PygmentsLexer
from prompt_toolkit.shortcuts import CompleteStyle, PromptSession, prompt from prompt_toolkit.shortcuts import CompleteStyle, PromptSession, prompt
from prompt_toolkit.styles import Style 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.token import Token
from pygments.util import ClassNotFound from pygments.util import ClassNotFound
from rich.console import Console from rich.console import Console
@ -131,7 +131,12 @@ class InputOutput:
multiline_input = False multiline_input = False
if self.user_input_color: 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: else:
style = None style = None