Extended double buffering fix to Android

git-svn-id: file:///fltk/svn/fltk/branches/branch-1.3-porting@11360 ea41ed52-d2ee-0310-a9c1-e6b18d33e121

1 files changed, 12 insertions, 1 deletions

diff --git a/src/drivers/PicoAndroid/Fl_PicoAndroid_Window_Driver.H b/src/drivers/PicoAndroid/Fl_PicoAndroid_Window_Driver.H
index adf0acbd3..94ce5bff2 100644
--- a/src/drivers/PicoAndroid/Fl_PicoAndroid_Window_Driver.H
+++ b/src/drivers/PicoAndroid/Fl_PicoAndroid_Window_Driver.H
@@ -39,7 +39,18 @@ public:
   virtual ~Fl_PicoAndroid_Window_Driver();
 
   virtual Fl_X *makeWindow();
-  virtual void flush();
+
+  // --- window data
+//  virtual int decorated_w() = 0;
+//  virtual int decorated_h() = 0;
+
+  // --- window management
+//  virtual void take_focus();
+  virtual void flush_single();
+  virtual void flush_double();
+  virtual void flush_overlay();
+//  virtual void draw_begin();
+//  virtual void draw_end();
 };