+ if (runparams.inDeletedInset) {
+ // This has to be done manually since we need it inside the float
+ OutputParams::CtObject ctobject = runparams.ctObject;
+ runparams.ctObject = OutputParams::CT_DISPLAYOBJECT;
+ Changes::latexMarkChange(os, buffer().params(), Change(Change::UNCHANGED),
+ Change(Change::DELETED), runparams);
+ runparams.ctObject = ctobject;
+ }
+