Le mercredi 24 mars 2010 à 14:22 +0000, Sergey Udaltsov a écrit : > I can fit indeed. > The only thing is that the resulting font would be different from the > font used in the menu. I do not see any other solution either, to be > true... Yeah, that's really a hack. Hope we can get something nicer soon using a GNOME Shell extension, and libappindicator for the old panel.
_______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list
