diff options
| author | Joel Klinghed <the_jk@yahoo.com> | 2017-07-23 01:20:04 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@yahoo.com> | 2017-07-23 01:20:04 +0200 |
| commit | 4f9cb7f330beab9fb09f52421b2dbd15835476e2 (patch) | |
| tree | 328517eb3aeea310d0328c08953f57ae663e8d75 /src/gui_attrtext.hh | |
| parent | c278eac390bd37c5ca8b319ed15605211822c08f (diff) | |
Add proxy to GUI
Access via "Setup..." in main menu
Uses a socketpair to connect monitor so only proxy port is open
Diffstat (limited to 'src/gui_attrtext.hh')
| -rw-r--r-- | src/gui_attrtext.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui_attrtext.hh b/src/gui_attrtext.hh index 129f905..06fb753 100644 --- a/src/gui_attrtext.hh +++ b/src/gui_attrtext.hh @@ -131,6 +131,8 @@ public: static AttributedText* create(); + virtual void reset() = 0; + void append(std::string const& str, Attribute const& attr = EMPTY, size_t start = 0, size_t length = std::string::npos); void append(const char* str, Attribute const& attr = EMPTY, |