Hi, I noticed that VLC User Interface fonts aren't same of GNOME. I
think that they are GTK based. How can I change them as GNOME? They
are very ugly and poor readable.
--
"An algorithm must be seen to be believed."
-- Donald Knuth, in "Fundamental Algorithms"
http://www.trapanator.com/blog