changelog

changeset 1833
f7cd855680f1
parent 1830
f2fccb8c2ab4
child 1852
12d37ab1baf3
child 1855
93bf1823466a
diff -r 2dd263d670ca -r f7cd855680f1 changelog
--- a/changelog	Wed May 02 19:10:17 2012 +0200
+++ b/changelog	Fri May 04 20:06:17 2012 +0200
@@ -4,6 +4,8 @@
 - bug fixes
 - Log Viewer
   -- added the capability to search in the recorded log
+- Shell
+  -- added the capability to search in the output of the shell window
 - Terminal
   -- added the capability to search in the output of the terminal window
 

eric ide

mercurial