--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on August 2012 ---
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