Fl_Window_Driver::destroy_double_buffer() does not need overrides

7 files changed, 1 insertions, 23 deletions

diff --git a/src/Fl_Window_Driver.H b/src/Fl_Window_Driver.H
index 40b5a0e29..bcee052d5 100644
--- a/src/Fl_Window_Driver.H
+++ b/src/Fl_Window_Driver.H
@@ -113,6 +113,7 @@ public:
   void show_iconic(char c) { Fl_Window::show_iconic_ = c; }
   void flx(Fl_X *x) { pWindow->flx_ = x; }
   Fl_Cursor cursor_default() { return pWindow->cursor_default; }
+  void destroy_double_buffer();
   /** for an Fl_Overlay_Window, returns the value of its overlay_ member variable */
   Fl_Window *overlay() {
     return pWindow->as_overlay_window() ? pWindow->as_overlay_window()->overlay_ : NULL;
@@ -144,7 +145,6 @@ public:
 
   virtual void makeWindow() {}
   virtual void wait_for_expose();
-  virtual void destroy_double_buffer();
   virtual void show();
   virtual void resize(int /*X*/, int /*Y*/, int /*W*/, int /*H*/) {}
   virtual void hide() {}
diff --git a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.H b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.H
index cc43d2161..163d2e486 100644
--- a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.H
+++ b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.H
@@ -123,7 +123,6 @@ public:
   void draw_end() FL_OVERRIDE;
   void make_current() FL_OVERRIDE;
   void label(const char *name, const char *mininame) FL_OVERRIDE;
-  void destroy_double_buffer() FL_OVERRIDE;
   void show() FL_OVERRIDE;
   void resize(int X,int Y,int W,int H) FL_OVERRIDE;
   void hide() FL_OVERRIDE;
diff --git a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.cxx b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.cxx
index 8a0370ee1..4d3c3ab3d 100644
--- a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.cxx
+++ b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.cxx
@@ -72,13 +72,6 @@ void Fl_Cocoa_Window_Driver::flush_overlay()
 }
 
 
-void Fl_Cocoa_Window_Driver::destroy_double_buffer()
-{
-  if (pWindow->as_overlay_window()) fl_delete_offscreen(other_xid);
-  other_xid = 0;
-}
-
-
 void Fl_Cocoa_Window_Driver::draw_begin()
 {
   if (!Fl_Surface_Device::surface()->driver()->has_feature(Fl_Graphics_Driver::NATIVE)) return;
diff --git a/src/drivers/Wayland/Fl_Wayland_Window_Driver.H b/src/drivers/Wayland/Fl_Wayland_Window_Driver.H
index 00afa6c62..518566489 100644
--- a/src/drivers/Wayland/Fl_Wayland_Window_Driver.H
+++ b/src/drivers/Wayland/Fl_Wayland_Window_Driver.H
@@ -104,7 +104,6 @@ public:
   void show() FL_OVERRIDE;
   void resize(int X,int Y,int W,int H) FL_OVERRIDE;
   void label(const char *name, const char *mininame) FL_OVERRIDE;
-  void destroy_double_buffer() FL_OVERRIDE;
   void hide() FL_OVERRIDE;
   void map() FL_OVERRIDE;
   void unmap() FL_OVERRIDE;
diff --git a/src/drivers/Wayland/Fl_Wayland_Window_Driver.cxx b/src/drivers/Wayland/Fl_Wayland_Window_Driver.cxx
index d96401d68..dec5bf36e 100644
--- a/src/drivers/Wayland/Fl_Wayland_Window_Driver.cxx
+++ b/src/drivers/Wayland/Fl_Wayland_Window_Driver.cxx
@@ -61,12 +61,6 @@ bool Fl_Wayland_Window_Driver::new_popup = false; // to support tall menu button
 Fl_Window *Fl_Wayland_Window_Driver::previous_floatingtitle = NULL;
 
 
-void Fl_Wayland_Window_Driver::destroy_double_buffer() {
-  if (pWindow->as_overlay_window()) fl_delete_offscreen(other_xid);
-  other_xid = 0;
-}
-
-
 Fl_Wayland_Window_Driver::Fl_Wayland_Window_Driver(Fl_Window *win) : Fl_Window_Driver(win)
 {
   shape_data_ = NULL;
diff --git a/src/drivers/X11/Fl_X11_Window_Driver.H b/src/drivers/X11/Fl_X11_Window_Driver.H
index cd48c8098..57602360d 100644
--- a/src/drivers/X11/Fl_X11_Window_Driver.H
+++ b/src/drivers/X11/Fl_X11_Window_Driver.H
@@ -108,7 +108,6 @@ public:
   void show() FL_OVERRIDE;
   void resize(int X,int Y,int W,int H) FL_OVERRIDE;
   void label(const char *name, const char *mininame) FL_OVERRIDE;
-  void destroy_double_buffer() FL_OVERRIDE;
   void hide() FL_OVERRIDE;
   void map() FL_OVERRIDE;
   void unmap() FL_OVERRIDE;
diff --git a/src/drivers/X11/Fl_X11_Window_Driver.cxx b/src/drivers/X11/Fl_X11_Window_Driver.cxx
index 7285bc152..9b4b45de9 100644
--- a/src/drivers/X11/Fl_X11_Window_Driver.cxx
+++ b/src/drivers/X11/Fl_X11_Window_Driver.cxx
@@ -40,12 +40,6 @@
 Window fl_window;
 
 
-void Fl_X11_Window_Driver::destroy_double_buffer() {
-  fl_delete_offscreen(other_xid);
-  other_xid = 0;
-}
-
-
 Fl_X11_Window_Driver::Fl_X11_Window_Driver(Fl_Window *win)
 : Fl_Window_Driver(win)
 {