--- layout: fc_discuss_archives title: Message 56 from Frama-C-discuss on November 2009 ---
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.