--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on November 2009 ---
Hello, > Frama-C comes pre-configured to use the DejaVu fonts if available. The DejaVu Fonts are not available on all systems. Is it reasonable to make the GUI just use the system's sans serif alias by default? -Boris