diff -r c38be891d0ab -r beb0e092738d UI/DiffDialog.py --- a/UI/DiffDialog.py Mon Jan 12 19:29:14 2015 +0100 +++ b/UI/DiffDialog.py Wed Jan 14 19:37:41 2015 +0100 @@ -200,6 +200,7 @@ yield prefixmap[tag] + line +# TODO: add simple search functionality (s. LogViewer) class DiffDialog(QWidget, Ui_DiffDialog): """ Class implementing a dialog to compare two files.