diff options
Diffstat (limited to 'src/drivers/X11')
| -rw-r--r-- | src/drivers/X11/Fl_X11_Window_Driver.H | 1 | ||||
| -rw-r--r-- | src/drivers/X11/Fl_X11_Window_Driver.cxx | 6 |
2 files changed, 0 insertions, 7 deletions
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) { |