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

Merge pull request #2234 from thehunmonkgroup/main

Browse source 
add /editor command
This commit is contained in:
paul-gauthier 2024-11-19 12:22:37 -08:00 • committed by GitHub
commit f1306d3301
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 177 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

15
aider/io.py
View file

@ -481,14 +481,17 @@ class InputOutput:
log_file.write(f"{role.upper()} {timestamp}\n")
log_file.write(content + "\n")
def display_user_input(self, inp):
if self.pretty and self.user_input_color:
style = dict(style=self.user_input_color)
else:
style = dict()
self.console.print(Text(inp), **style)
def user_input(self, inp, log_only=True):
if not log_only:
if self.pretty and self.user_input_color:
style = dict(style=self.user_input_color)
else:
style = dict()
self.console.print(Text(inp), **style)
self.display_user_input(inp)
prefix = "####"
if inp: