changelog

changeset 1830
f2fccb8c2ab4
parent 1823
21d988eaf1bf
child 1833
f7cd855680f1
--- 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

eric ide

mercurial