3 files changed, 1 insertions, 14 deletions
diff --git a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.H b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.H
index 67e2aa77c..9f72f7725 100644
--- a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.H
+++ b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.H
@@ -77,6 +77,7 @@ public:
 
   // --- window management
   virtual void take_focus();
+  virtual void flush();
   virtual void flush_double();
   virtual void flush_overlay();
   virtual void draw_begin();
diff --git a/src/drivers/PicoAndroid/Fl_PicoAndroid_Window_Driver.cxx b/src/drivers/PicoAndroid/Fl_PicoAndroid_Window_Driver.cxx
index b2024bf01..82c5d0927 100644
--- a/src/drivers/PicoAndroid/Fl_PicoAndroid_Window_Driver.cxx
+++ b/src/drivers/PicoAndroid/Fl_PicoAndroid_Window_Driver.cxx
@@ -108,15 +108,6 @@ void Fl_PicoAndroid_Window_Driver::flush_single()
   scr->drawFrame();
 }
 
-#if !defined(FL_DOXYGEN) // FIXME - silence Doxygen warning
-
-void Fl_X::flush()
-{
-  w->flush();
-}
-
-#endif // !defined(FL_DOXYGEN) // FIXME - silence Doxygen warning
-
 
 #if 0
 void Fl_PicoAndroid_Window_Driver::flush()
diff --git a/src/drivers/PicoSDL/Fl_PicoSDL_Screen_Driver.cxx b/src/drivers/PicoSDL/Fl_PicoSDL_Screen_Driver.cxx
index f4cd70926..e12fc1ae5 100644
--- a/src/drivers/PicoSDL/Fl_PicoSDL_Screen_Driver.cxx
+++ b/src/drivers/PicoSDL/Fl_PicoSDL_Screen_Driver.cxx
@@ -167,11 +167,6 @@ void Fl::remove_fd(int)
 {
 }
 
-void Fl_X::flush()
-{
-  w->flush();
-}
-
 //
 // End of "$Id: Fl_PicoSDL_Screen_Driver.cxx 11253 2016-03-01 00:54:21Z matt $".
 //