Merge pull request #329 from HollowMan6/RM-Term-Buffer-RT

fix bug in #325 change request.
master
Matthew Zeng 6 years ago committed by GitHub
commit d970912e8d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 1
      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):

Loading…
Cancel
Save