diff -r d8532d902e76 -r 86df7bf80760 UI/CompareDialog.py --- a/UI/CompareDialog.py Tue Feb 11 19:51:01 2014 +0100 +++ b/UI/CompareDialog.py Tue Feb 11 20:04:16 2014 +0100 @@ -146,8 +146,6 @@ # connect some of our widgets explicitly self.file1Edit.textChanged.connect(self.__fileChanged) self.file2Edit.textChanged.connect(self.__fileChanged) - self.synchronizeCheckBox.toggled[bool].connect( - self.on_synchronizeCheckBox_toggled) self.vsb1.valueChanged.connect(self.__scrollBarMoved) self.vsb1.valueChanged.connect(self.vsb2.setValue) self.vsb2.valueChanged.connect(self.vsb1.setValue)