[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.

The splitter now behaves strange:

- filter is not affected by splitter
- splitter does not obey min-width of tree