diff -r c8594f4f1b71 -r 17d8069de085 UI/DiffDialog.py --- a/UI/DiffDialog.py Sat Jan 17 14:20:09 2015 +0100 +++ b/UI/DiffDialog.py Sat Jan 17 14:34:26 2015 +0100 @@ -200,7 +200,6 @@ yield prefixmap[tag] + line -# TODO: add simple search functionality (s. LogViewer) class DiffDialog(QWidget, Ui_DiffDialog): """ Class implementing a dialog to compare two files.