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



Hi everybody!

I don't know yet in which mail list I should send this message, because I have the same problem in both GUI's.

I installed Frama-C Beryllium in Mac OS Snow Leopard, following the notes:

http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-September/001390.html

Everything was correctly installed.

I tried first to run the frama-c-gui, and the result was a mess. It seems that the font is not correct. 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: PastedGraphic-1.tiff
Type: image/tiff
Size: 57318 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091117/d66a3148/attachment-0001.tiff 
-------------- next part --------------


I got the same result with gwhy.

In gwhy the error message presented was the following:

(gwhy-bin:76797): Pango-WARNING **: shaping failure, expect ugly output. shape-engine='BasicEngineFc', font='Bitstream Vera Sans Mono 10', text='m:'

(gwhy-bin:76797): Pango-WARNING **: shaping failure, expect ugly output. shape-engine='BasicEngineFc', font='Lucida Grande Medium 12', text='Alt-Ergo'

What should I do? How do I fix this?

Thanks in advance.
Best regards,
B?rbara