diff options
Diffstat (limited to 'plugingui/nativewindow.h')
-rw-r--r-- | plugingui/nativewindow.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/plugingui/nativewindow.h b/plugingui/nativewindow.h index 7b7fd39..c6ca7c8 100644 --- a/plugingui/nativewindow.h +++ b/plugingui/nativewindow.h @@ -29,6 +29,8 @@ #include <string> #include <memory> #include <queue> +#include <tuple> +#include <vector> #include "guievent.h" @@ -70,7 +72,7 @@ public: virtual void setCaption(const std::string &caption) = 0; //! Draw the internal rendering buffer to the window buffer. - virtual void redraw() = 0; + virtual void redraw(const Rect& dirty_rect) = 0; //! Toggle capture mouse mode. virtual void grabMouse(bool grab) = 0; |