--- layout: fc_discuss_archives title: Message 28 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



I've installed the latest binaries on 10.5.8 OSX. I also installed the
DejaVu fonts as
directed.

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. I'm guessing I'm not
configuring something correctly or still missing some fonts or
need to upgrade something so any help is appreciated.
-- 
Alwyn E. Goodloe, Ph.D.
agoodloe at gmail.com

Computer Scientist
National Institute of Aerospace
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100615/9ec8e789/attachment.htm>