diff --git a/src/Changes.cpp b/src/Changes.cpp index a47de9cbe1..2f7feb1256 100644 --- a/src/Changes.cpp +++ b/src/Changes.cpp @@ -256,7 +256,7 @@ Change const & Changes::lookup(pos_type const pos) const } -bool Changes::isFullyDeleted(pos_type start, pos_type end) const +bool Changes::isDeleted(pos_type start, pos_type end) const { ChangeTable::const_iterator it = table_.begin(); ChangeTable::const_iterator const itend = table_.end(); diff --git a/src/Changes.h b/src/Changes.h index 87fdb71230..8343aab578 100644 --- a/src/Changes.h +++ b/src/Changes.h @@ -97,7 +97,7 @@ public: bool isChanged(pos_type start, pos_type end) const; /// return true if the whole range is deleted - bool isFullyDeleted(pos_type const start, pos_type const end) const; + bool isDeleted(pos_type start, pos_type end) const; /// output latex to mark a transition between two change types /// returns length of text outputted diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp index 33bd22b5ab..267e2ebfbe 100644 --- a/src/Paragraph.cpp +++ b/src/Paragraph.cpp @@ -288,12 +288,12 @@ void Paragraph::addChangesToToc(DocIterator const & cdit, } -bool Paragraph::isFullyDeleted(pos_type start, pos_type end) const +bool Paragraph::isDeleted(pos_type start, pos_type end) const { LASSERT(start >= 0 && start <= size(), /**/); LASSERT(end > start && end <= size() + 1, /**/); - return d->changes_.isFullyDeleted(start, end); + return d->changes_.isDeleted(start, end); } diff --git a/src/Paragraph.h b/src/Paragraph.h index 856ac76925..426783afd3 100644 --- a/src/Paragraph.h +++ b/src/Paragraph.h @@ -216,7 +216,7 @@ public: /// is there a deletion at the given pos ? bool isDeleted(pos_type pos) const; /// is the whole paragraph deleted ? - bool isFullyDeleted(pos_type start, pos_type end) const; + bool isDeleted(pos_type start, pos_type end) const; /// will the paragraph be physically merged with the next /// one if the imaginary end-of-par character is logically deleted? diff --git a/src/paragraph_funcs.cpp b/src/paragraph_funcs.cpp index cb628992a7..f1f018ddbe 100644 --- a/src/paragraph_funcs.cpp +++ b/src/paragraph_funcs.cpp @@ -338,7 +338,7 @@ bool isFullyDeleted(ParagraphList const & pars) // check all paragraphs for (pit_type pit = 0; pit < pars_size; ++pit) { if (!pars[pit].empty()) // prevent assertion failure - if (!pars[pit].isFullyDeleted(0, pars[pit].size())) + if (!pars[pit].isDeleted(0, pars[pit].size())) return false; } return true;