--- layout: fc_discuss_archives title: Message 57 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



Hi,

Thanks for your help. 

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

I download and installed the binaries and now is everything working fine :-)
Many many thanks :-)

Best regards,
B?rbara 


A 2009/11/18, ?s 09:04, Pascal Cuoq escreveu:

> 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.
> 
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss