--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on November 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ugly output shape - gwhy and frama-c-gui



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