#ifndef GWT_CONSOLE_SEEN
#define GWT_CONSOLE_SEEN

#include <iostream>

#include <Wt/WString>
#include <Wt/WContainerWidget>

using namespace Wt;

using namespace std;

class GWt_console : public WContainerWidget
{
    
public:
  GWt_console(WContainerWidget* parent);
  virtual ~GWt_console();
  void addConsoleMessage(WString msg);
private:
  WText* outputCurrent_;
  WString outputOriginal_;
  void searchFilter();
  WLineEdit* searchLineEdit_;
};

#endif