On 6/21/05, Alexander Kirillov <[EMAIL PROTECTED]> wrote: > Quick question: what determines the main font used by yelp? And how it > can be changed? the 10000$ answer; edition -> preferences
-- Baptiste Mille-Mathias _______________________________________________ gnome-doc-list mailing list gnome-doc-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-doc-list