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



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

Apologies for a trivial question.  Quick replies much appreciated.

- Xavier Leroy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190815/7ad45e45/attachment.html>