diff options
| -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 36258e9..7342421 100644 --- a/plugingui/textedit.cc +++ b/plugingui/textedit.cc @@ -97,7 +97,7 @@ void TextEdit::setText(const std::string& text)  	int ran = height() / font.textHeight();  	DEBUG(textedit, "Setting range and max of scrollbar to '%d' and '%d'\n", -	      ran, preprocessedtext.size()); +	      ran, (int)preprocessedtext.size());  	scroll.setRange(ran);  	scroll.setMaximum(preprocessedtext.size()); | 
