840 |
840 |
841 def __closeRequested(self, index): |
841 def __closeRequested(self, index): |
842 """ |
842 """ |
843 Private method to handle the press of the individual tab close button. |
843 Private method to handle the press of the individual tab close button. |
844 |
844 |
845 @param index index of the tab (integer) |
845 @param index index of the tab |
|
846 @type int |
846 """ |
847 """ |
847 if index >= 0: |
848 if index >= 0: |
848 self.vm.closeEditorWindow(self.widget(index).getEditor()) |
849 self.vm.closeEditorWindow(self.widget(index).getEditor()) |
849 |
850 |
850 def mouseDoubleClickEvent(self, event): |
851 def mouseDoubleClickEvent(self, event): |
851 """ |
852 """ |
852 Protected method handling double click events. |
853 Protected method handling double click events. |
853 |
854 |
854 @param event reference to the event object (QMouseEvent) |
855 @param event reference to the event object |
|
856 @type QMouseEvent |
855 """ |
857 """ |
856 self.vm.newEditor() |
858 self.vm.newEditor() |
857 |
859 |
858 |
860 |
859 class Tabview(ViewManager): |
861 class Tabview(ViewManager): |