--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on August 2019 ---
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>