** Changed in: gnome-themes (Ubuntu) Sourcepackagename: gnome-themes => gnome-panel
-- "Add to Panel..." assumes and hard-codes font sizes https://launchpad.net/bugs/60345 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs