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] Changing fonts in frama-c-gui, MacOS

  • Subject: [Frama-c-discuss] Changing fonts in frama-c-gui, MacOS
  • From: xavier.leroy at college-de-france.fr (Xavier Leroy)
  • Date: Thu, 15 Aug 2019 12:13:54 +0200
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>