##// END OF EJS Templates
add menu to switch between hsplit and vsplit pager...
Paul Ivanov -
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