Show More
@@ -78,7 +78,6 b' class MainWindow(QtGui.QMainWindow):' | |||||
78 | self.tab_widget.setDocumentMode(True) |
|
78 | self.tab_widget.setDocumentMode(True) | |
79 | self.tab_widget.setTabsClosable(True) |
|
79 | self.tab_widget.setTabsClosable(True) | |
80 | self.tab_widget.tabCloseRequested[int].connect(self.close_tab) |
|
80 | self.tab_widget.tabCloseRequested[int].connect(self.close_tab) | |
81 | self.tab_widget.currentChanged.connect(self.update_restart_checkbox) |
|
|||
82 |
|
81 | |||
83 | self.setCentralWidget(self.tab_widget) |
|
82 | self.setCentralWidget(self.tab_widget) | |
84 | # hide tab bar at first, since we have no tabs: |
|
83 | # hide tab bar at first, since we have no tabs: | |
@@ -562,6 +561,7 b' class MainWindow(QtGui.QMainWindow):' | |||||
562 | ) |
|
561 | ) | |
563 |
|
562 | |||
564 | self.add_menu_action(self.kernel_menu, self.confirm_restart_kernel_action) |
|
563 | self.add_menu_action(self.kernel_menu, self.confirm_restart_kernel_action) | |
|
564 | self.tab_widget.currentChanged.connect(self.update_restart_checkbox) | |||
565 |
|
565 | |||
566 | def _make_dynamic_magic(self,magic): |
|
566 | def _make_dynamic_magic(self,magic): | |
567 | """Return a function `fun` that will execute `magic` on active frontend. |
|
567 | """Return a function `fun` that will execute `magic` on active frontend. |
General Comments 0
You need to be logged in to leave comments.
Login now