On Thu, Aug 9, 2012 at 7:11 PM, <timothyhobbs@seznam.cz> wrote:
Is it possible to set the font size of text displayed in a TextView?  Cannot find any font related settings :(

Gtk+ (and therefore gtk2hs) inherits a lot of stuff and assumes you know that and where to look.  http://man.chinaunix.net/develop/GTK+/2.6/gtk/TextWidget.html mentions setting the default font; it should translate reasonably directly (so, http://hackage.haskell.org/packages/archive/gtk/0.12.3/doc/html/Graphics-UI-Gtk-Abstract-Widget.html#v:widgetModifyFont for gtk_widget_modify_font())).

brandon s allbery                                      allbery.b@gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms