2 files changed, 0 insertions, 46 deletions
diff --git a/src/drivers/Pico/Fl_Pico_Window_Driver.H b/src/drivers/Pico/Fl_Pico_Window_Driver.H
index 40d6457fa..51e9db920 100644
--- a/src/drivers/Pico/Fl_Pico_Window_Driver.H
+++ b/src/drivers/Pico/Fl_Pico_Window_Driver.H
@@ -37,13 +37,6 @@ public:
   // --- window data
   virtual int decorated_w();
   virtual int decorated_h();
-
-  // --- window management
-  virtual void flush_single();
-  virtual void flush_double();
-  virtual void flush_overlay();
-  virtual void draw_begin();
-  virtual void draw_end();
 };
 
 
diff --git a/src/drivers/Pico/Fl_Pico_Window_Driver.cxx b/src/drivers/Pico/Fl_Pico_Window_Driver.cxx
index f113a3ca8..d1fb664c8 100644
--- a/src/drivers/Pico/Fl_Pico_Window_Driver.cxx
+++ b/src/drivers/Pico/Fl_Pico_Window_Driver.cxx
@@ -25,7 +25,6 @@
 #include <FL/fl_draw.h>
 
 
-
 Fl_Pico_Window_Driver::Fl_Pico_Window_Driver(Fl_Window *win)
 : Fl_Window_Driver(win)
 {
@@ -50,44 +49,6 @@ int Fl_Pico_Window_Driver::decorated_h()
   return pWindow->h();
 }
 
-
-// --- window management
-void Fl_Pico_Window_Driver::flush_single()
-{
-  Fl_X *i = Fl_X::i(pWindow);
-  if (!i) return;
-  fl_clip_region(i->region);
-  i->region = 0;
-  pWindow->draw();
-}
-
-
-void Fl_Pico_Window_Driver::flush_double()
-{
-  flush_single();
-}
-
-
-void Fl_Pico_Window_Driver::flush_overlay()
-{
-  flush_single();
-}
-
-
-
-
-void Fl_Pico_Window_Driver::draw_begin()
-{
-  // nothing to do
-}
-
-
-void Fl_Pico_Window_Driver::draw_end()
-{
-  // nothing to do
-}
-
-
 //
 // End of "$Id: Fl_Pico_Window_Driver.cxx 11253 2016-03-01 00:54:21Z matt $".
 //
 \ No newline at end of file