--- layout: fc_discuss_archives title: Message 56 from Frama-C-discuss on November 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ugly output shape - gwhy and frama-c-gui



Hello,

>> Frama-C comes pre-configured to use the DejaVu fonts if available.
>
> The DejaVu Fonts are not available on all systems. Is it reasonable  
> to make the GUI just use the system's sans serif alias by default?

The DejaVu font are automatically not used if not available.
See the file .../share/frama-c/frama-c.rc for the default order
in which fonts are searched. As far as we know, this
configuration file works out of the box for all of Windows,
Linux distributions with a standard Gnome installation,
and Mac OS X (the latter anyway having the restriction that
you *must* install the DejaVu fonts because the fallback
mechanism for missing mathematical glyphs does not work
yet in GTK+).

On a related note, the Mac OS X binaries can now be downloaded from:
http://frama-c.cea.fr/download.html

Pascal

PS: Menlo, a new monospace font in Snow Leopard,
contains all the glyphs used by Frama-C. This is an alternative
if you don't want to install DejaVu. It is a nice programmer's font.