Hi there, Coverity scan has been complaining about uncaught exceptions, for example the InsetCollapsible destructor eventually calls Inset::buffer(), which can trigger an exception. How are we supposed to deal with this? I guess that the point of the exception is to save the file before quitting? JMarc