def __paintSelection(self, painter): if self.__selectionRange == None: return selection = (min(self.__selectionRange[0], self.__selectionRange[1]), max(self.__selectionRange[0], self.__selectionRange[1])) leftExtent = self.__getTickArea(selection[0]) rightExtent = self.__getTickArea(selection[1] - 1) selectionExtent = QtCore.QRect(leftExtent.left(), leftExtent.top(), rightExtent.right() - leftExtent.left() + 2, leftExtent.height()/2) painter.fillRect(selectionExtent, QtGui.QBrush(QtGui.QColor(75, 75, 75)))
def __getTickArea(self, time): tickArea = self.__getTickAreaExtent() tickSpacing = float(self.__getTickAreaExtent().width()) / max(1,(self.__frameRange[1] - self.__frameRange[0])) return QtCore.QRect(tickArea.left() + tickSpacing * (time - self.__frameRange[0]), tickArea.top(), tickSpacing, tickArea.height())
def __getTickAreaExtent(self): return QtCore.QRect(10, -self.height()/2, self.width() - self.__right_margin - 20, self.height())