--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on August 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c-gui



On Thu, Aug 9, 2012 at 2:58 PM, DAHAN Mickael
<mickael.dahan at thalesgroup.com> wrote:
> When i want to launch frama-c Nitrogen with this command:    frama-c-gui   ,
> sometimes the following message appears:
>
> LablGTK-CRITICAL **: GSourceFunc: callback raised an exception

This indicates that one event handler attached to a widget crashed, or
at least did not properly catch the exceptions its body could throw.
This is unfortunately quite hard to diagnose, as virtually any part of
the Gui can be the culprit. If you observe no other ill-effect, such
as a non-functioning button, or some strange behavior in the filetree,
this message can be ignored. Important parts of the Gui have been
rewritten for Oxygen, so the message may disappear altogether.

(If your are able to produce a reproductible example, do not hesitate
to submit it on the bts.)

Hope this helps,

-- 
Boris