I think one should rather look at the gnome-panel source code, it is more likely that the panel listen to screen resolution changes events and resizes itself accordingly than the screen resolution program itself resizing the panel. At least this is the impression I got looking at the gnome-panel source code.
-- Applets do not scale well with changing resolution https://bugs.launchpad.net/bugs/36189 You received this bug notification because you are a member of Ubuntu Bugs, which is a direct subscriber. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs