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
--- panel.js.orig 2011-02-16 09:35:49.798554079 +0100
+++ panel.js 2011-02-16 09:34:37.400880195 +0100
@@ -688,10 +688,10 @@
this._menus.addMenu(appMenuButton.menu);
- /* center */
- this._dateMenu = new DateMenu.DateMenuButton();
- this._centerBox.add(this._dateMenu.actor, { y_fill: true });
- this._menus.addMenu(this._dateMenu.menu);
+ // /* center */
+ // this._dateMenu = new DateMenu.DateMenuButton();
+ // this._centerBox.add(this._dateMenu.actor, { y_fill: true });
+ // this._menus.addMenu(this._dateMenu.menu);
/* right */
--
devel mailing list
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/devel
