frama-c

How to increase Frama-C's GUI font/text size?


When running frama-c-gui, I'd like to increase its font size (for a tutorial, class, demo, video, etc), to ensure the text is visible in a large room. How can I do it?


Solution

  • The exact answer may depend on system settings, but overall, these should work: