Manu: do you know if the gnome-panel patch uses fixed width and height?
** Changed in: gnome-themes (Ubuntu)
Importance: Untriaged => Medium
Assignee: (unassigned) => Ubuntu Desktop Bugs
--
"Add to Panel..." assumes and hard-codes font sizes
https://launchpad.net/bugs/60345