Hi,
Hi,
I have a problem with DevHelp.. When viewing documentation the font size is very big. This is annoying to read and was wondering where you can change that ?
Yes, in the preferences dialog.
Best Regards, Mikael Hallendal
-- Imendio AB, http://www.imendio.com/ _______________________________________________ gnome-devtools mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-devtools
