UI/DiffDialog.py

changeset 4039
661167a99aef
parent 4037
beb0e092738d
child 4052
17d8069de085
diff -r 175f13f4eb9d -r 661167a99aef UI/DiffDialog.py
--- a/UI/DiffDialog.py	Wed Jan 14 19:47:29 2015 +0100
+++ b/UI/DiffDialog.py	Thu Jan 15 19:29:38 2015 +0100
@@ -232,6 +232,8 @@
         self.saveButton.setEnabled(False)
         self.diffButton.setDefault(True)
         
+        self.searchWidget.attachTextEdit(self.contents)
+        
         self.filename1 = ''
         self.filename2 = ''
         

eric ide

mercurial