From 7d3115c7d4d449b5774330f7e1a12ea61cd7f313 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Nusser?= Date: Fri, 5 May 2017 23:26:57 +0200 Subject: Fix jenkins compile error. --- plugingui/textedit.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugingui') 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())) { -- cgit v1.2.3