##// END OF EJS Templates
added 3rd keep-kernel option to shutdown dialog
MinRK -
Show More
@@ -50,8 +50,12 b' class MainWindow(QtGui.QMainWindow):'
50 if kernel_manager and kernel_manager.channels_running:
50 if kernel_manager and kernel_manager.channels_running:
51 title = self.window().windowTitle()
51 title = self.window().windowTitle()
52 reply = QtGui.QMessageBox.question(self, title,
52 reply = QtGui.QMessageBox.question(self, title,
53 'Close console?', QtGui.QMessageBox.Yes, QtGui.QMessageBox.No)
53 'Closing console. Leave Kernel alive?',
54 QtGui.QMessageBox.Yes, QtGui.QMessageBox.No, QtGui.QMessageBox.Cancel)
54 if reply == QtGui.QMessageBox.Yes:
55 if reply == QtGui.QMessageBox.Yes:
56 self.destroy()
57 event.ignore()
58 elif reply == QtGui.QMessageBox.No:
55 kernel_manager.shutdown_kernel()
59 kernel_manager.shutdown_kernel()
56 #kernel_manager.stop_channels()
60 #kernel_manager.stop_channels()
57 event.accept()
61 event.accept()
General Comments 0
You need to be logged in to leave comments. Login now