improved data types for prefix length and pointer diff

This commit is contained in:
Stephan Witt 2015-11-20 20:48:56 +01:00
parent 1bd56c8730
commit dd6b5cc67c

View File

@ -475,7 +475,7 @@ docstring TexRow::asString(RowEntry const & entry)
///prepends the texrow to the source given by tex, for debugging purpose ///prepends the texrow to the source given by tex, for debugging purpose
void TexRow::prepend(docstring_list & tex) const void TexRow::prepend(docstring_list & tex) const
{ {
int const prefix_length = 25; size_type const prefix_length = 25;
if (tex.size() < rowlist_.size()) if (tex.size() < rowlist_.size())
tex.resize(rowlist_.size()); tex.resize(rowlist_.size());
std::vector<RowEntryList>::const_iterator it = rowlist_.begin(); std::vector<RowEntryList>::const_iterator it = rowlist_.begin();
@ -489,7 +489,7 @@ void TexRow::prepend(docstring_list & tex) const
entry += asString(*it2); entry += asString(*it2);
if (entry.length() < prefix_length) if (entry.length() < prefix_length)
entry = entry + docstring(prefix_length - entry.length(), L' '); entry = entry + docstring(prefix_length - entry.length(), L' ');
int i = it - beg; ptrdiff_t i = it - beg;
tex[i] = entry + " " + tex[i]; tex[i] = entry + " " + tex[i];
} }
} }