[Lazarus] Options dialog filter

[Martin]

On 03/03/2012 16:04, Juha Manninen wrote:
> Hi
>
> I added a FilterEdit control to the Options dialog which is used for 
> IDE Options and for Project Options.
> It searches from all captions form all options pages, highlights the 
> matching texts and hides pages without matches.
> Please check out.

While it is really fast, maybe as an optimization (if not done already, 
I did not see any check like it), for any frame, that is not currently 
visible, it is enough to go for the first match.
(but it must then be highlighted if selected)