mirror of
https://github.com/Aider-AI/aider.git
synced 2025-05-29 16:54:59 +00:00
resend recent msg
This commit is contained in:
parent
640d321b3e
commit
6e5e195ea8
1 changed files with 2 additions and 1 deletions
|
@ -281,7 +281,8 @@ class GUI:
|
|||
if "input_history" not in self.state.keys:
|
||||
input_history = list(self.coder.io.get_input_history())
|
||||
seen = set()
|
||||
self.state.input_history = [x for x in input_history if not (x in seen or seen.add(x))]
|
||||
input_history = [x for x in input_history if not (x in seen or seen.add(x))]
|
||||
self.state.input_history = input_history
|
||||
|
||||
def button(self, args, **kwargs):
|
||||
"Create a button, disabled if prompt pending"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue