--- a/UI/CompareDialog.py Wed Jul 31 20:01:58 2013 +0200 +++ b/UI/CompareDialog.py Wed Jul 31 20:07:41 2013 +0200 @@ -347,7 +347,7 @@ """ Private slot to move the text display to the current diff position. """ - if 0<= self.currentDiffPos < len(self.diffParas): + if 0 <= self.currentDiffPos < len(self.diffParas): value = (self.diffParas[self.currentDiffPos] - 1) * self.fontHeight self.vsb1.setValue(value) self.vsb2.setValue(value)