Re: segfault related to views and fonts

Maxence Guesdon <[email protected]> Thu, 7 Jan 2010 17:38:40 +0100
Newsgroups gmane.comp.lang.ocaml.lib.gtk
Message-ID <[email protected]>
Le Thu, 07 Jan 2010 16:47:46 +0100,
Claude Marché <[email protected]> a écrit :

> 
> Dear Lablgtk users,

Hello,

>...
> I'd like to know if there are more natural ways the change the
>font 
> size. In particular, I'd like to remove the dependency on an explicit 
> font name like "Monospace", which might be a source of the bug.
> 
> Any ideas, suggestions, pointers are welcome!

Is using gtksourceviews instead of simple views possible ? You could
then let the user set the style he wants in all views, using the style
manager of gtksourceview2.

The following Gtksv_utils module may help you applying style to
all sourceviews of your application:
  http://home.gna.org/cameleon/refdoc/Gtksv_utils.html

It also provides gui boxes to make the user select fonts, size and
style in a box similar to gedit's preferences.

The user's preferences are stored and can even be shared between all
applications using this module (like chamo ;-) )

Hope this helps,

Maxence