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 [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
