--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on February 2018 ---
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>