Re: planet "top posters" section

On Mon, Apr 19, 2010 at 10:03 AM, Magnus Hagander <magnus@hagander.net> wrote:
> On Mon, Apr 19, 2010 at 16:00, Robert Haas <robertmhaas@gmail.com> wrote:
>> On Mon, Apr 19, 2010 at 3:29 AM, Dave Page <dpage@pgadmin.org> wrote:
>>> On Mon, Apr 19, 2010 at 2:56 AM, Robert Haas <robertmhaas@gmail.com> wrote:
>>>> On Sun, Apr 18, 2010 at 9:32 PM, Robert Treat
>>> My only concern with that is that the poster names could become quite long.
>>
>> Yeah.  Magnus' prototype doesn't look too bad, though.  I liked
>> parentheses around the number of posts better than a dash before it,
>> but with parentheses around the team name, there's not much choice but
>> to do something different for the post count.  And from an information
>> point of view I think it's definitely a big improvement.
>
> Well, we could easily switch to use a dash before the name of the
> team, and then parentheses around the number, if you think that's
> better?

I doubt it.  I thought about name@team or name @ team or name/team or
name / team, but none of those seemed all that great either.  It's
probably fine the way you have it.

> But as you note, it would look like *** if we use parentheses around both...

To be precise, it would like as if it were designed by engineers.
Which would be true, but we're trying to cover it up.  :-)

...Robert