diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-22 20:21:48 +0200 | 
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-22 20:24:14 +0200 | 
| commit | b2daadf6fe64715705617e6a9b11163359b7d927 (patch) | |
| tree | 423a2423990a0c3b02d69f8b51b417ab0a7d0993 /plugingui | |
| parent | 771ea6375a9f2a254d050eedd1c0897d0f7e9861 (diff) | |
Introduce needs_preprocessing flag (incl. functionality) to TextEdit.
Diffstat (limited to 'plugingui')
| -rw-r--r-- | plugingui/textedit.cc | 9 | ||||
| -rw-r--r-- | plugingui/textedit.h | 1 | 
2 files changed, 9 insertions, 1 deletions
| diff --git a/plugingui/textedit.cc b/plugingui/textedit.cc index b7603a1..4de6e52 100644 --- a/plugingui/textedit.cc +++ b/plugingui/textedit.cc @@ -54,6 +54,8 @@ TextEdit::~TextEdit()  void TextEdit::resize(std::size_t width, std::size_t height)  {  	Widget::resize(width, height); + +	needs_preprocessing = true;  	scroll.resize(scroll.width(), height - 14);  	scroll.move(width - 23, 7);  } @@ -72,7 +74,7 @@ void TextEdit::setText(const std::string& text)  {  	_text = text; -	preprocessText(); +	needs_preprocessing = true;  	redraw();  	textChangedNotifier();  } @@ -144,6 +146,11 @@ void TextEdit::preprocessText()  void TextEdit::repaintEvent(RepaintEvent* repaintEvent)  { +	if(needs_preprocessing)  +	{ +		preprocessText(); +	} +  	Painter p(*this);  	// update values of scroll bar diff --git a/plugingui/textedit.h b/plugingui/textedit.h index 81e00b8..5959ae9 100644 --- a/plugingui/textedit.h +++ b/plugingui/textedit.h @@ -76,6 +76,7 @@ private:  	std::string _text;  	bool readonly{true}; +	bool needs_preprocessing{false};  	std::list< std::string > preprocessedtext;  }; | 
