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



Thank you for all your comments!
 
I will try to add everything that's possible.
 
Ulrich

>>> Rodrigo Moya <rodrigo gnome-db org> 12.01.2004 14:06:17 >>>
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

_______________________________________________
gnome-network-list mailing list
gnome-network-list gnome org
http://mail.gnome.org/mailman/listinfo/gnome-network-list


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]