On 04/05/2010 01:46 PM, Richard Silver wrote:
On the same note when will we get any sort of settings?
--
Sent from my Palm Pre
On Apr 5, 2010 11:30 AM, Tanner
Doshier <doshitan gmail com> wrote:
Are
there any plans to allow the vertical size of the panel to be changed?
On a related note, what are the plans concerning the font/font
size the Shell uses? Obviously if we (the user) could get the Shell to
use a different font for the panel, then that would help facilitate the
scaling of said panel.
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list gnome org
http://mail.gnome.org/mailman/listinfo/gnome-shell-list
Yeah, you can't exactly call GNOME Shell "ready" until it's reasonably
configurable. There is no "best font" or "best font size" or "best
panel size" or "best panel location", etc. I'm sure the option is there
somewhere, but in a text file or something most likely. All we really
need now is (a) GUI tool(s) to work with this; maybe just a patch to
the GNOME appearance settings GUI?
|
