eric: diff changelog

diff -r fa72a573967f -r f2fccb8c2ab4 changelog
--- a/changelog	Tue May 01 16:01:44 2012 +0200
+++ b/changelog	Tue May 01 18:01:13 2012 +0200
@@ -4,6 +4,8 @@
 - bug fixes
 - Log Viewer
   -- added the capability to search in the recorded log
+- Terminal
+  -- added the capability to search in the output of the terminal window

 Version 5.3-snapshot-20120430:
 - bug fixes