1 // This may look like C code, but it's really -*- C++ -*-
2 /*
3  * Copyright (C) 2010 Emweb bv, Herent, Belgium.
4  *
5  * See the LICENSE file for terms of use.
6  */
7 
8 #ifndef OBSERVER_WIDGET_H_
9 #define OBSERVER_WIDGET_H_
10 
11 #include <Wt/WContainerWidget.h>
12 
13 #include "CodeSession.h"
14 
15 class ObserverWidget : public Wt::WContainerWidget
16 {
17 public:
18   ObserverWidget(const std::string& id);
19   virtual ~ObserverWidget();
20 
21 private:
22   std::shared_ptr<CodeSession> session_;
23 
24   void updateBuffer(int buffer, CodeSession::BufferUpdate update);
25   void insertBuffer(const CodeSession::Buffer& buffer, int index);
26 };
27 
28 #endif // OBSERVER_WIDGET_H_
29