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


Thanks for your help. 

> On a related note, the Mac OS X binaries can now be downloaded from:

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

Best regards,

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