--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on February 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C GUI font size



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