On Fri, Jan 10, 2003 at 11:44:32AM -0500, Rene Olsthoorn wrote: > I've noticed that the widgets are large under Windows. For instance, > the menubar is approx. 50% bigger than an average windows menubar. > Also the Font is bigger.
You might want to look into an alternative theme for GTK on Win32, if such a beast exists. > Does any have knowledge about how to change the default-fontsize for > an application? Changing theme will take care of all of this. Take care, -- Christian Reis, Senior Engineer, Async Open Source, Brazil. http://async.com.br/~kiko/ | [+55 16] 261 2331 | NMFL _______________________________________________ pygtk mailing list [EMAIL PROTECTED] http://www.daa.com.au/mailman/listinfo/pygtk Read the PyGTK FAQ: http://www.async.com.br/faq/pygtk/
