Panel resizing

[Ted Gould]

[Sorry about the late reply, sent with the wrong address which made the
list unhappy]

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?

                --Ted

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
Url : https://lists.ubuntu.com/archives/ubuntu-desktop/attachments/20071114/e0fc2246/attachment.pgp