Re: Antw: Re: [gnome-network]Patch for GNOME Remote Shell

[Rodrigo Moya <rodrigo gnome-db org>]

On Sun, 2004-01-11 at 12:42 -0800, Mason Kidd wrote:
> Yep, that patch applied successfully.  This is awesome, nice work,
> exactly the functionality this program needed.  WIll save me a lot of
> typing!
> 
> Couple of comments:
> - The 'Profiles' heading doesn't match the font of the other headings. 
> This might be because it is using a <span weight=bold> tagset, whereas
> the other labels are using just a <bold> tagset.
> - The 'Profiles' heading is the only area with a frame, and this throws
> off the look a little.  I think that either all four areas should have
> frames, or none of them should (I'd vote for none).
>
I'd vote for none also.

cheers