--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on August 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Changing fonts in frama-c-gui, MacOS



Hello,

Le jeu. 15 août 2019 à 12:14, Xavier Leroy <
xavier.leroy at college-de-france.fr> a écrit :

> Dear Frama-C enthusiasts.
>
> As part of a talk, I'd like to give a demo of Frama-C using the GUI.  The
> talk is given on a Mac.  I could install Frama-C just fine using Brew and
> OPAM.
>
> However, the fonts used by frama-c-gui are too small (and ugly).  How can
> I change them?  I tried setting the environment variables
> "FRAMA_C_GENERALFONT" and "FRAMAC_MONOSPACEFONT" to various values, with no
> effect, and no error message.  Command-+ has no effect, and the Preferences
> menu has nothing to select fonts...
>
>
Indeed, there's only one way to change the fonts of the GUI: tweaking
$FRAMAC_SHARE/frama-c.rc. On linux, adding 14 or 16 to each font_name entry
in this file gives a result that looks big enough on a projector.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190815/296d1c5b/attachment.html>