Add partial rendering support when rendering widgets to window pixel buffer and also when rendering window pixel buffer to native window. Win32 only partially implemented.

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;