From 8e873e74503032ca2180b83af35744137aaa555c Mon Sep 17 00:00:00 2001 From: "Paul Gauthier (aider)" Date: Fri, 25 Oct 2024 12:47:06 -0700 Subject: [PATCH] feat: return edit command when input interrupted by file change --- aider/io.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/aider/io.py b/aider/io.py index b5651f73b..68812303f 100644 --- a/aider/io.py +++ b/aider/io.py @@ -437,6 +437,11 @@ class InputOutput: else: line = input(show) except (EOFError, KeyboardInterrupt): + # Check if we were interrupted by a file change + if self.changed_files: + changed = self.changed_files + self.changed_files = None + return f"/edit {changed}" # Return an edit command for the changed file return "" except UnicodeEncodeError as err: self.tool_error(str(err))