Add proxy to GUI

Access via "Setup..." in main menu
Uses a socketpair to connect monitor so only proxy port is open

1 files changed, 7 insertions, 0 deletions

diff --git a/src/gui_gtk.cc b/src/gui_gtk.cc
index be9fa96..afccd85 100644
--- a/src/gui_gtk.cc
+++ b/src/gui_gtk.cc
@@ -445,6 +445,13 @@ public:
     return ret;
   }
 
+  void reset() override {
+    GtkTextIter begin, end;
+    gtk_text_buffer_get_start_iter(buffer_.get(), &begin);
+    gtk_text_buffer_get_end_iter(buffer_.get(), &end);
+    gtk_text_buffer_delete(buffer_.get(), &begin, &end);
+  }
+
   GtkTextBuffer* buffer() const {
     return buffer_.get();
   }