qterminal/qterminal — pull request #20 by surlykke (2013-01-14 06:42:25+00:00)
Title: Add search functionality to QTerminal

This commit adds search functionality to QTerminal. It depends on search functionality in qtermwidget (commit 4f9e1c4a060334d, pull request 'search functionality')

This commit adds a 'Find..' entry to the actions menu. Clicking that (or hitting Ctrl-Shift-Find) shows a search bar below the current terminal.

This should fix issue #9