Show More
@@ -522,6 +522,19 b' class MainWindow(QtGui.QMainWindow):' | |||||
522 | statusTip="Clear the console", |
|
522 | statusTip="Clear the console", | |
523 | triggered=self.clear_magic_active_frontend) |
|
523 | triggered=self.clear_magic_active_frontend) | |
524 | self.add_menu_action(self.view_menu, self.clear_action) |
|
524 | self.add_menu_action(self.view_menu, self.clear_action) | |
|
525 | self.pager_menu = self.view_menu.addMenu("Pager") | |||
|
526 | ||||
|
527 | ||||
|
528 | self.hsplit_action = QtGui.QAction(".. &Horizontal Split", | |||
|
529 | self, | |||
|
530 | triggered=self.pager_hsplit) | |||
|
531 | ||||
|
532 | self.vsplit_action = QtGui.QAction(" : &Vertical Split", | |||
|
533 | self, | |||
|
534 | triggered=self.pager_vsplit) | |||
|
535 | ||||
|
536 | self.pager_menu.addAction(self.hsplit_action) | |||
|
537 | self.pager_menu.addAction(self.vsplit_action) | |||
525 |
|
538 | |||
526 | def init_kernel_menu(self): |
|
539 | def init_kernel_menu(self): | |
527 | self.kernel_menu = self.menuBar().addMenu("&Kernel") |
|
540 | self.kernel_menu = self.menuBar().addMenu("&Kernel") | |
@@ -781,6 +794,14 b' class MainWindow(QtGui.QMainWindow):' | |||||
781 | self.maximizeAct.setEnabled(True) |
|
794 | self.maximizeAct.setEnabled(True) | |
782 | self.minimizeAct.setEnabled(True) |
|
795 | self.minimizeAct.setEnabled(True) | |
783 |
|
796 | |||
|
797 | def pager_vsplit(self): | |||
|
798 | self.active_frontend.paging = "vsplit" | |||
|
799 | self.active_frontend._splitter.setOrientation(QtCore.Qt.Vertical) | |||
|
800 | ||||
|
801 | def pager_hsplit(self): | |||
|
802 | self.active_frontend.paging = "hsplit" | |||
|
803 | self.active_frontend._splitter.setOrientation(QtCore.Qt.Horizontal) | |||
|
804 | ||||
784 | def close_active_frontend(self): |
|
805 | def close_active_frontend(self): | |
785 | self.close_tab(self.active_frontend) |
|
806 | self.close_tab(self.active_frontend) | |
786 |
|
807 |
General Comments 0
You need to be logged in to leave comments.
Login now