Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


>> 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:


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.