Show More
@@ -552,6 +552,15 b' class MainWindow(QtGui.QMainWindow):' | |||
|
552 | 552 | |
|
553 | 553 | self.kernel_menu.addSeparator() |
|
554 | 554 | |
|
555 | self.confirm_restart_kernel_action = QtGui.QAction("Confirm kernel restart", | |
|
556 | self, | |
|
557 | checkable=True, | |
|
558 | checked=self.active_frontend.confirm_restart, | |
|
559 | triggered=self.toggle_confirm_restart_active_frontend | |
|
560 | ) | |
|
561 | ||
|
562 | self.add_menu_action(self.kernel_menu, self.confirm_restart_kernel_action) | |
|
563 | ||
|
555 | 564 | def _make_dynamic_magic(self,magic): |
|
556 | 565 | """Return a function `fun` that will execute `magic` on active frontend. |
|
557 | 566 | |
@@ -832,6 +841,16 b' class MainWindow(QtGui.QMainWindow):' | |||
|
832 | 841 | def interrupt_kernel_active_frontend(self): |
|
833 | 842 | self.active_frontend.request_interrupt_kernel() |
|
834 | 843 | |
|
844 | def toggle_confirm_restart_active_frontend(self): | |
|
845 | widget = self.active_frontend | |
|
846 | widget.confirm_restart = not widget.confirm_restart | |
|
847 | # XXX: whenever tabs are switched, the checkbox may not be | |
|
848 | # representative of the state of the active widget. The next line | |
|
849 | # ensures that at least after toggling, the checkbox represents the | |
|
850 | # state this widget is in. | |
|
851 | self.confirm_restart_kernel_action.setChecked(widget.confirm_restart) | |
|
852 | ||
|
853 | ||
|
835 | 854 | def cut_active_frontend(self): |
|
836 | 855 | widget = self.active_frontend |
|
837 | 856 | if widget.can_cut(): |
General Comments 0
You need to be logged in to leave comments.
Login now