[MonoDevelop] Quick finder

[Mike Krüger]

Hi

I've just committed the first version of a tiny quick finder.

I want to hear some feedback about it - and maybe ideas on how it should
look like & other improvements.

If this look & size is acceptable I'll add some buttons to the right,
maybe something like a split button and drop down for all bookmarks in
that file. Any more suggestions on what should be worth a button in that
bar ?

Regards
Mike