eric6/Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 8256
26a8b92aeabd
parent 8218
7c09585bd960
child 8259
2bbec88047dd
equal deleted inserted replaced
8255:2fc483702cd6 8256:26a8b92aeabd
11 11
12 from PyQt5.QtCore import ( 12 from PyQt5.QtCore import (
13 pyqtSlot, QPoint, QFileInfo, pyqtSignal, QEvent, QByteArray, QMimeData, 13 pyqtSlot, QPoint, QFileInfo, pyqtSignal, QEvent, QByteArray, QMimeData,
14 Qt, QSize 14 Qt, QSize
15 ) 15 )
16 from PyQt5.QtGui import QColor, QDrag, QPixmap 16 from PyQt5.QtGui import QColor, QDrag, QPixmap, QMouseEvent
17 from PyQt5.QtWidgets import ( 17 from PyQt5.QtWidgets import (
18 QWidget, QHBoxLayout, QSplitter, QTabBar, QApplication, QToolButton, 18 QWidget, QHBoxLayout, QSplitter, QTabBar, QApplication, QToolButton,
19 QMenu, QLabel 19 QMenu, QLabel
20 ) 20 )
21 21
1342 @return always False 1342 @return always False
1343 @rtype bool 1343 @rtype bool
1344 """ 1344 """
1345 if ( 1345 if (
1346 event.type() == QEvent.Type.MouseButtonPress and 1346 event.type() == QEvent.Type.MouseButtonPress and
1347 isinstance(event, QMouseEvent) and
1347 event.button() != Qt.MouseButton.RightButton 1348 event.button() != Qt.MouseButton.RightButton
1348 ): 1349 ):
1349 switched = True 1350 switched = True
1350 self.currentTabWidget.showIndicator(False) 1351 self.currentTabWidget.showIndicator(False)
1351 if isinstance(watched, E5TabWidget): 1352 if isinstance(watched, E5TabWidget):

eric ide

mercurial