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())
