UI/CompareDialog.py

changeset 2837
a96cb48e86a5
parent 2836
289ad03f0e57
child 2847
1843ef6e2656
child 3012
d177226027e2
equal deleted inserted replaced
2836:289ad03f0e57 2837:a96cb48e86a5
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):

eric ide

mercurial