We are working on an IDE based on gtk (GtkAda, really, but it doesn't impact the current question), and we need to modify the default font in a GtkTextView widget. The default font currently is a proportional font, which is not exactly appropriate for editing source code.
How would this be done with gtk+1.3.10 ? With previous versions of gtk+ (up to 1.3.9), we used to access the GtkTextLayout and modify the style there, but this is now considered as an internal widget, and thus it probably isn't a good idea to do that anymore. thanks for any help Emmanuel GtkAda team _______________________________________________ gtk-list mailing list [EMAIL PROTECTED] http://mail.gnome.org/mailman/listinfo/gtk-list
