2012-01-06 17:28:01 +02:00
|
|
|
#ifndef _plat_wxwidgets__window_status__hpp__included__
|
|
|
|
#define _plat_wxwidgets__window_status__hpp__included__
|
|
|
|
|
|
|
|
#include <wx/string.h>
|
|
|
|
#include <wx/wx.h>
|
|
|
|
|
2012-09-25 13:54:00 +03:00
|
|
|
#include "platform/wxwidgets/textrender.hpp"
|
|
|
|
|
2012-01-06 17:28:01 +02:00
|
|
|
class wxwin_status : public wxFrame
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
class panel : public wxPanel
|
|
|
|
{
|
|
|
|
public:
|
2012-07-06 18:40:11 +03:00
|
|
|
panel(wxWindow* _parent, wxWindow* tfocus, unsigned lines);
|
2012-03-06 18:33:41 +02:00
|
|
|
bool AcceptsFocus () const;
|
2012-07-06 18:40:11 +03:00
|
|
|
void on_focus(wxFocusEvent& e);
|
2012-01-06 17:28:01 +02:00
|
|
|
void on_paint(wxPaintEvent& e);
|
2013-04-03 18:37:15 +03:00
|
|
|
void on_erase(wxEraseEvent& e);
|
2012-01-06 17:28:01 +02:00
|
|
|
bool dirty;
|
2012-01-18 20:56:54 +02:00
|
|
|
wxWindow* parent;
|
2012-07-06 18:40:11 +03:00
|
|
|
wxWindow* tfocuswin;
|
2012-09-25 21:18:12 +03:00
|
|
|
//-1: memory watch only, 0: Both, 1: Status only.
|
|
|
|
void set_watch_flag(int f) { watch_flag = f; }
|
2012-09-25 13:54:00 +03:00
|
|
|
private:
|
|
|
|
text_framebuffer statusvars;
|
|
|
|
text_framebuffer memorywatches;
|
2012-09-25 21:18:12 +03:00
|
|
|
int watch_flag;
|
2013-04-03 10:38:11 +03:00
|
|
|
size_t previous_size;
|
2012-01-06 17:28:01 +02:00
|
|
|
};
|
2012-09-25 21:18:12 +03:00
|
|
|
wxwin_status(int flag, const std::string& title);
|
2012-01-06 17:28:01 +02:00
|
|
|
~wxwin_status();
|
|
|
|
bool ShouldPreventAppExit() const;
|
|
|
|
void notify_update() throw();
|
|
|
|
panel* spanel;
|
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|