On Thu, Nov 17, 2011 at 4:18 AM, Tim Sutton wrote:
> Hi
>
> On Mon, Nov 14, 2011 at 3:41 PM, Martin Dobias wrote:
>
> 8<-snip---
>>
>> nice stuff. One more thing I have been thinking about is that we could
>> do the search in a way the browsers nowadays do it: keep
Hi
On Mon, Nov 14, 2011 at 3:41 PM, Martin Dobias wrote:
8<-snip---
>
> nice stuff. One more thing I have been thinking about is that we could
> do the search in a way the browsers nowadays do it: keep the widgets
> for search hidden by default, saving further ver
