japenaisern, as for now, if you wish to fix it manually, you need to edit the 'gnome-panel.css' style file; IMHO, it's better to wait until this fix is released as a regular package update.
japenaisern,
as for now, if you wish to fix it manually, you need to edit the 'gnome-panel.css' style file;
IMHO, it's better to wait until this fix is released as a regular package update.