Dne 16.2.2011 09:38, Matej Cepl napsal(a):
Looks like a bad bug I was hit by as well. Try to comment out
putting
clock on the gnome-shell black panel on the top in
/usr/share/gnome-shell/js/ui/panel.js (see attached patch). Does it help?
and the second time with patch actually attached.
Matěj