more asserts

This commit is contained in:
unknown 2024-10-17 20:43:25 +02:00
parent 1ca5d38ad5
commit e288742360

View file

@ -318,7 +318,7 @@ void NotebookTab::removeHighlightSources(const HighlightSources &toRemove)
if (!this->highlightSources_.highlightedSource.empty()) if (!this->highlightSources_.highlightedSource.empty())
{ {
// keep HighlightState::Highlighted assert(this->highlightState_ == HighlightState::Highlighted);
return; return;
} }
@ -338,6 +338,8 @@ void NotebookTab::removeHighlightSources(const HighlightSources &toRemove)
this->update(); this->update();
} }
} }
assert(this->highlightState_ != HighlightState::Highlighted);
} }
void NotebookTab::copyHighlightStateAndSourcesFrom(const NotebookTab *sourceTab) void NotebookTab::copyHighlightStateAndSourcesFrom(const NotebookTab *sourceTab)