--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] OSX install fonts + GTK error message



Hello,

> Following directions
> ?? ? ? ?To play the tutorial from http://frama-c.com/try_out.html, type:
> ?? ? ? ? frama-c-gui -slevel 10 first.c
> I get the following
> (frama-c-gui:210): Gtk-CRITICAL **: gtk_widget_has_screen: assertion
> `GTK_IS_WIDGET (widget)' failed
> ?and the math symbols don't seem to display.

This may be related to the font problem. I have seen this warning
before, but only on larger size examples. It didn't seem to cause ill
effects so I didn't investigate further, although in retrospect it
would have been smart to have some idea what produced this warning.

The "first.c" example doesn't have many of the difficult symbols (for
<=, >=, $\wedge$, $\vee$, ..) but it does use $\in$ (with variables on
the left-hand side and values on the right-hand side).

What do each of the following commands say?:
ls /usr/local/Frama-C_B/share/frama-c/frama-c.rc
cat /usr/local/Frama-C_B/share/frama-c/frama-c.rc
ls ~/Library/Fonts/

Meanwhile, the option -no-unicode will tell frama-c-gui not to use any
of the characters that may be problematic. $\in$ will for instance be
displayed as "IN".

Best regards,

Pascal