def change_palette(self, color):
'''Sets the global tooltip background to the given color and initializes reset'''
self.old_palette = QToolTip.palette()
p = QPalette(self.old_palette)
p.setColor(QPalette.All, QPalette.ToolTipBase, color)
QToolTip.setPalette(p)
self.timer = QTimer()
self.timer.timeout.connect(self.try_reset_palette)
self.timer.start(300) #short enough not to flicker a wrongly colored tooltip
def change_palette(self, color):
"""Sets the global tooltip background to the given color and initializes reset"""
self.old_palette = QToolTip.palette()
p = QPalette(self.old_palette)
p.setColor(QPalette.All, QPalette.ToolTipBase, color)
QToolTip.setPalette(p)
self.timer = QTimer()
self.timer.timeout.connect(self.try_reset_palette)
self.timer.start(
300) #short enough not to flicker a wrongly colored tooltip
def __init__(self, parent=None):
QWidget.__init__(self, parent, Qt.Tool | Qt.FramelessWindowHint)
self.setPalette(QToolTip.palette())
self.setStyleSheet("QLabel {color: white}")
self.__hideTimer = QTimer()
self.__hideTimer.setSingleShot(True)
self.__hideTimer.timeout.connect(self.hideNow)
self.__allowHide = True
self.hide()
def __init__(self, parent=None):
QWidget.__init__(self, parent, Qt.Tool | Qt.FramelessWindowHint)
self.setPalette(QToolTip.palette())
self.setStyleSheet("QLabel {color: white}")
self.__hideTimer = QTimer()
self.__hideTimer.setSingleShot(True)
self.__hideTimer.timeout.connect(self.hideNow)
self.__allowHide = True
self.hide()
def __init__(self, distributedObjects, parent=None):
QWidget.__init__(self, parent, Qt.Tool | Qt.FramelessWindowHint)
self.setPalette(QToolTip.palette())
self.__do = distributedObjects
self.__allowHide = True
self.treeItemView = TreeItemView()
self.treeItemView.setVerticalScrollMode(QAbstractItemView.ScrollPerItem)
self.treeItemView.verticalScrollBar().rangeChanged.connect(self.resizeViewVertically)
self.hide()
self.exp = None
addToWatchButton = QPushButton(Icons.watch, "")
addToWatchButton.setMinimumSize(self.ICON_SIZE, self.ICON_SIZE)
addToWatchButton.setMaximumSize(self.ICON_SIZE, self.ICON_SIZE)
addToWatchButton.setToolTip("Add to Watch")
addToWatchButton.clicked.connect(self.__addToWatch)
addToDatagraphButton = QPushButton(Icons.datagraph, "")
addToDatagraphButton.setMinimumSize(self.ICON_SIZE, self.ICON_SIZE)
addToDatagraphButton.setMaximumSize(self.ICON_SIZE, self.ICON_SIZE)
addToDatagraphButton.setToolTip("Add to Data Graph")
addToDatagraphButton.clicked.connect(self.__addToDatagraph)
setWatchpointButton = QPushButton(Icons.wp, "")
setWatchpointButton.setMinimumSize(self.ICON_SIZE, self.ICON_SIZE)
setWatchpointButton.setMaximumSize(self.ICON_SIZE, self.ICON_SIZE)
setWatchpointButton.setToolTip("Set Watchpoint")
setWatchpointButton.clicked.connect(self.__setWatchpoint)
self.__layout = QHBoxLayout(self)
self.__layout.addWidget(self.treeItemView)
l = QVBoxLayout()
l.addWidget(addToWatchButton)
l.addWidget(addToDatagraphButton)
l.addWidget(setWatchpointButton)
l.addSpacerItem(QSpacerItem(0, 0, QSizePolicy.Minimum, QSizePolicy.Expanding))
# show a size grip in the corner to allow the user to resize the window
l.addWidget(QSizeGrip(self))
l.setSpacing(0)
self.__layout.addLayout(l)
self.__layout.setContentsMargins(0, 0, 0, 0)
self.__layout.setSpacing(0)
self.__hideTimer = QTimer()
self.__hideTimer.setSingleShot(True)
self.__hideTimer.timeout.connect(self.hideNow)
self.treeItemView.contextMenuOpen.connect(self.__setDisallowHide)
self.treeItemView.setRootIsDecorated(False)
self.treeItemView.setHeaderHidden(True)
def __init__(self):
self.default_palette = QToolTip.palette()
