http://gambaswiki.org/bugtracker/edit?object=BUG.2675&from=L21haW4- Comment #6 by Benoît MINISINI: No, it's the end of a JIT compilation process that is not detected by the IDE. I think it's the old problem of the 'glib' library of GTK+3 that prevents any other library than itself from catching the end of a program.