--- layout: fc_discuss_archives title: Message 6 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



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
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180206/ac9c07fa/attachment.html>