diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-05-05 23:26:57 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-05-05 23:26:57 +0200 |
| commit | 7d3115c7d4d449b5774330f7e1a12ea61cd7f313 (patch) | |
| tree | 0d820f3b67b91591ec890ec494012efdfd6f88a9 /plugingui | |
| parent | 72e6e0401677740a286ab937194c61db1448e4c9 (diff) | |
Fix jenkins compile error.
Diffstat (limited to 'plugingui')
| -rw-r--r-- | plugingui/textedit.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugingui/textedit.cc b/plugingui/textedit.cc index f57a1d4..ebe8d32 100644 --- a/plugingui/textedit.cc +++ b/plugingui/textedit.cc @@ -158,7 +158,7 @@ void TextEdit::repaintEvent(RepaintEvent* repaintEvent) int ypos = font.textHeight() + y_border; auto scroll_value = scroll.value(); - for(int i = 0; i < preprocessed_text.size() - scroll_value; ++i) + for(std::size_t i = 0; i < preprocessed_text.size() - scroll_value; ++i) { if(i * font.textHeight() >= (height() - y_border - font.textHeight())) { |