| Tue, 30 Mar 2010 17:30:39 +0000 | Much improved results in FindResultsWidget | file | diff | annotate |
| Mon, 08 Mar 2010 12:24:26 +0000 | Introduce dockwidget to display all search results at once | file | diff | annotate |
| Tue, 02 Mar 2010 13:59:19 +0000 | Added file for later dockwidget showing all search results at once | file | diff | annotate |