345 |
345 |
346 def __moveTextToCurrentDiffPos(self): |
346 def __moveTextToCurrentDiffPos(self): |
347 """ |
347 """ |
348 Private slot to move the text display to the current diff position. |
348 Private slot to move the text display to the current diff position. |
349 """ |
349 """ |
350 if 0<= self.currentDiffPos < len(self.diffParas): |
350 if 0 <= self.currentDiffPos < len(self.diffParas): |
351 value = (self.diffParas[self.currentDiffPos] - 1) * self.fontHeight |
351 value = (self.diffParas[self.currentDiffPos] - 1) * self.fontHeight |
352 self.vsb1.setValue(value) |
352 self.vsb1.setValue(value) |
353 self.vsb2.setValue(value) |
353 self.vsb2.setValue(value) |
354 |
354 |
355 def __scrollBarMoved(self, value): |
355 def __scrollBarMoved(self, value): |