When checking inset activity status, also check containing insets

which could be deteled
This commit is contained in:
Juergen Spitzmueller 2018-12-30 18:27:28 +01:00
parent e8c1cb5074
commit 5cfd256974

View File

@ -148,7 +148,17 @@ void InsetLabel::updateBuffer(ParIterator const & par, UpdateType utype)
// Check if this one is deleted (ct)
Paragraph const & para = par.paragraph();
bool const active = !para.isDeleted(par.pos());
bool active = !para.isDeleted(par.pos());
// If not, check whether we are in a deleted inset
if (active) {
for (size_type sl = 0 ; sl < par.depth() ; ++sl) {
Paragraph const & outer_par = par[sl].paragraph();
if (outer_par.isDeleted(par[sl].pos())) {
active = false;
break;
}
}
}
if (buffer().activeLabel(label) && active) {
// Problem: We already have an active InsetLabel with the same name!