This was fixed when gnome-panel was ported to GTK 3 last year. gnome-panel works pretty well in Ubuntu 12.04.
This was fixed when gnome-panel was ported to GTK 3 last year. gnome-panel works pretty well in Ubuntu 12.04.