GtkTextView: specifying a default font

[Emmanuel Briot <briot act-europe fr>]

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