From fe9b41896134e11661eab9a9c5e73402e393144e Mon Sep 17 00:00:00 2001 From: Hollow Man Date: Sat, 4 Jul 2020 10:40:25 +0800 Subject: [PATCH] fix bug in #325 change request. --- app/terminal/buffer.py | 1 + 1 file changed, 1 insertion(+) diff --git a/app/terminal/buffer.py b/app/terminal/buffer.py index 55f58a5..2080822 100644 --- a/app/terminal/buffer.py +++ b/app/terminal/buffer.py @@ -94,6 +94,7 @@ class AppBuffer(BrowserBuffer): def destroy_buffer(self): os.kill(self.background_process.pid, signal.SIGKILL) super().destroy_buffer() + self.timer.stop() @interactive() def copy_text(self):