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

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