Emmanuel Briot <[EMAIL PROTECTED]> writes:

> 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

 gtk_widget_modify_font (text_view, font_desc);

Regards,
                                        Owen
_______________________________________________
gtk-list mailing list
[EMAIL PROTECTED]
http://mail.gnome.org/mailman/listinfo/gtk-list

Reply via email to