Task Editor should support In-editor search

[Song Yangyu]

Version: 0.3-development, rev 1140

I sometimes use the task-editor to take notes; therefore, I constantly want to search for a certain text inside the task editor (cuz my notes are pretty long).

I think when doing the task-editor rework, we need to support search functionality inside the task editor. (probably via shortcut key: Ctrl + F, also via tool bar button)

[Izidor Matušov (izidor)]

Indeed, we need it. It would great to have it as tomboy or firefox. Control + F and a new toolbar is shown. Can immediately start typing and the matching text is highlighted. See the screenshot.

[Abhiram (abhiram-ampabathina)]

Hello song,
       I will try on this one. Let me come with the solution.

Best