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: virgile.prevosto at m4x.org (Virgile Prevosto)
- Date: Thu, 15 Aug 2019 19:35:31 +0200
- In-reply-to: <CAH=h3gHQT+dG3p1ZC0CBgcExT9kaJgu=Gktx8Pb=mOdfNLq_5A@mail.gmail.com>
- References: <CAH=h3gHQT+dG3p1ZC0CBgcExT9kaJgu=Gktx8Pb=mOdfNLq_5A@mail.gmail.com>
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>
- Follow-Ups:
- [Frama-c-discuss] Changing fonts in frama-c-gui, MacOS
- From: xavier.leroy at college-de-france.fr (Xavier Leroy)
- [Frama-c-discuss] Changing fonts in frama-c-gui, MacOS
- References:
- [Frama-c-discuss] Changing fonts in frama-c-gui, MacOS
- From: xavier.leroy at college-de-france.fr (Xavier Leroy)
- [Frama-c-discuss] Changing fonts in frama-c-gui, MacOS
- Prev by Date: [Frama-c-discuss] Changing fonts in frama-c-gui, MacOS
- Next by Date: [Frama-c-discuss] Changing fonts in frama-c-gui, MacOS
- Previous by thread: [Frama-c-discuss] Changing fonts in frama-c-gui, MacOS
- Next by thread: [Frama-c-discuss] Changing fonts in frama-c-gui, MacOS
- Index(es):