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