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

On Thu, Aug 15, 2019 at 7:35 PM Virgile Prevosto <virgile.prevosto at>

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

It works great!   Thanks a million!

The "solution" I found was ten times uglier: use a custom .gtkrc-2.0 file
along the lines of

Now I shall give a great demo!


- Xavier Leroy

> Best regards,
> --
> E tutto per oggi, a la prossima volta
> Virgile
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>