mirror of
https://github.com/Aider-AI/aider.git
synced 2025-06-04 03:35:00 +00:00
append voice messages to input history
This commit is contained in:
parent
4812d17372
commit
3ff2cb8dbe
2 changed files with 6 additions and 0 deletions
|
@ -231,6 +231,11 @@ class InputOutput:
|
|||
self.user_input(inp)
|
||||
return inp
|
||||
|
||||
def add_to_file_history(self, inp):
|
||||
if not self.input_history_file:
|
||||
return
|
||||
FileHistory(self.input_history_file).append_string(inp)
|
||||
|
||||
def user_input(self, inp, log_only=True):
|
||||
if not log_only:
|
||||
style = dict(style=self.user_input_color) if self.user_input_color else dict()
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue