From 35730491ef90528be367b5c59261ec82984b50e0 Mon Sep 17 00:00:00 2001
From: Bent Bisballe Nyeng <deva@aasimon.org>
Date: Fri, 17 Feb 2017 10:58:08 +0100
Subject: 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.

---
 plugingui/nativewindow.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'plugingui/nativewindow.h')

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;
-- 
cgit v1.2.3