Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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