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
- Subject: [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
- Date: Wed, 18 Nov 2009 10:04:47 +0100
- In-reply-to: <FC0686BB6178BC43B9DC035287A11A720DBD5C11FD@SI-MBX12.de.bosch.com>
- References: <8C82C9D1-6262-4560-971A-49F53D809467@gmail.com> <5EFD4D7AC6265F4D9D3A849CEA9219191AB24C@LAXA.intra.cea.fr> <FC0686BB6178BC43B9DC035287A11A720DBD5C11FD@SI-MBX12.de.bosch.com>
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.
- Follow-Ups:
- [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- From: barbaraisabelvieira at gmail.com (Barbara Vieira)
- [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- References:
- [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- From: barbaraisabelvieira at gmail.com (Barbara Vieira)
- [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
- [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- Prev by Date: [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- Next by Date: [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- Previous by thread: [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- Next by thread: [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
- Index(es):