--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on February 2018 ---
Thanks, Virgile, that worked. In case anyone else wants to do this, I changed this part in frama-c.rc (adding the â 14â after âMonospaceâ): style "monospace 4" { font_name = "Monospace 14" } Now students in the back of the room will be able to see my Frama-C demos :-) -Steve > On Feb 6, 2018, at 1:11 PM, Virgile Prevosto <virgile.prevosto at m4x.org> wrote: > > Hello, > > 2018-02-06 19:04 GMT+01:00 Stephen Siegel <siegel at udel.edu>: > Is there any way to adjust the font size in the frama-c-gui? -Steve > > > Yes, even though this is not really practical: Fonts in the GUI are controlled by $(frama-c -print-share-path)/frama-c.rc You can change the fonts' names, or put sizes after the names. Note that this will only affect newer executions of frama-c-gui. > > Best regards, > -- > E tutto per oggi, a la prossima volta > Virgile > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss