Re: Should we have a search box in the side bar?

[Pavel Sanda]

>> it looks pretty awful.
>
> Hmm...  Just to check that we're talking about the same thing, please have 
> a look on this page where I activated the search field in the side bar.

yes we are talking about the same thing :)
pavel