UI/CompareDialog.py

changeset 2837
a96cb48e86a5
parent 2836
289ad03f0e57
child 2847
1843ef6e2656
child 3012
d177226027e2
diff -r 289ad03f0e57 -r a96cb48e86a5 UI/CompareDialog.py
--- 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)

eric ide

mercurial