Plugins/ViewManagerPlugins/Listspace/Listspace.py

changeset 3893
52c53efa7627
parent 3656
441956d8fce5
child 4021
195a471c327b
equal deleted inserted replaced
3891:f6ac4b481bdb 3893:52c53efa7627
776 @param event the event that occurred 776 @param event the event that occurred
777 @return flag indicating, if we handled the event 777 @return flag indicating, if we handled the event
778 """ 778 """
779 if event.type() == QEvent.MouseButtonPress and \ 779 if event.type() == QEvent.MouseButtonPress and \
780 not event.button() == Qt.RightButton: 780 not event.button() == Qt.RightButton:
781 switched = True
781 if isinstance(watched, QStackedWidget): 782 if isinstance(watched, QStackedWidget):
782 switched = watched is not self.currentStack 783 switched = watched is not self.currentStack
783 self.currentStack = watched 784 self.currentStack = watched
784 elif isinstance(watched, QScintilla.Editor.Editor): 785 elif isinstance(watched, QScintilla.Editor.Editor):
785 for stack in self.stacks: 786 for stack in self.stacks:

eric ide

mercurial