don't kill main process on closing of shell

pull/491/head
c-holtermann 7 years ago
parent 480aa4a575
commit efbdab6f4d

@ -434,7 +434,6 @@ class Console (Gtk.ScrolledWindow):
def quit(self):
""" Quit console """
# Gtk.main_quit()
self.history_save()
try:
os.close (self.piperead)

Loading…
Cancel
Save