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/textedit.h | |
| parent | 771ea6375a9f2a254d050eedd1c0897d0f7e9861 (diff) | |
Introduce needs_preprocessing flag (incl. functionality) to TextEdit.
Diffstat (limited to 'plugingui/textedit.h')
| -rw-r--r-- | plugingui/textedit.h | 1 |
1 files changed, 1 insertions, 0 deletions
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; }; |