ted at ubuntu.com
Thu Nov 15 07:02:09 GMT 2007
[Sorry about the late reply, sent with the wrong address which made the
On Tue, 2007-11-13 at 23:21 +0100, Sebastian Heinlein wrote:
> AFAIK the panel will be rewritten for GNOME 2.22. Such discussions
> should go upstream.
I guess I don't see this as entirely a panel issue, it seems to be more
of an "Applications that use the panel" issue. Many of those are in the
panel packages, but folks like NetworkManager are some of the most
notable problems and not part of the panel package.
> Furthermore the font size should not change. If you choose to have a
> larger font the panel will be larger automatically.
That seems to be what everyone's leaning towards. Should we be
specifying the panel size in points instead of pixels?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: This is a digitally signed message part
Url : https://lists.ubuntu.com/archives/ubuntu-desktop/attachments/20071114/e0fc2246/attachment.pgp
More information about the ubuntu-desktop