On Mar 2, 2010, at 6:24 PM, Christiaan Hofman wrote:
>
> On Mar 2, 2010, at 23:38, Adam M. Goldstein wrote:
>
>> On Mar 2, 2010, at 5:07 PM, Christiaan Hofman wrote:
>>
>>> I'd like some input from the users about an idea of using a double line
>>> label for search groups, with the server nam
On Mar 3, 2010, at 1:29, Jason Davies wrote:
>
> On 2 Mar 2010, at 23:24, Christiaan Hofman wrote:
>
>>
>> Didn't the attached image make it through? The idea is that the server name
>> is always shown, and the search term is shown in a smaller font in a line
>> below that, being either empt
On 2 Mar 2010, at 23:24, Christiaan Hofman wrote:
>
> Didn't the attached image make it through? The idea is that the server name
> is always shown, and the search term is shown in a smaller font in a line
> below that, being either empty or saying "empty" without a search term.
It did here b
On Mar 2, 2010, at 23:38, Adam M. Goldstein wrote:
> On Mar 2, 2010, at 5:07 PM, Christiaan Hofman wrote:
>
>> I'd like some input from the users about an idea of using a double line
>> label for search groups, with the server name at the top and the search term
>> at the bottom. Something lik
On Mar 2, 2010, at 5:07 PM, Christiaan Hofman wrote:
> I'd like some input from the users about an idea of using a double line label
> for search groups, with the server name at the top and the search term at the
> bottom. Something like the attached screenshot. I think that's more useful
> tha
I'd like some input from the users about an idea of using a double line label
for search groups, with the server name at the top and the search term at the
bottom. Something like the attached screenshot. I think that's more useful than
displaying just the search term, which we do now. The downsi