diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2023-04-21 16:27:08 +0200 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2023-04-21 16:27:08 +0200 |
| commit | fe972185c085694c7aab651419671a86d1b36eab (patch) | |
| tree | 67be82188028808aebd92e719ce92edaf2ef6faa /src/drivers/X11/Fl_X11_Window_Driver.H | |
| parent | f8f7e101f36708eb3f347a82459ab9d7120e441b (diff) | |
Fl_Window_Driver::destroy_double_buffer() does not need overrides
Diffstat (limited to 'src/drivers/X11/Fl_X11_Window_Driver.H')
| -rw-r--r-- | src/drivers/X11/Fl_X11_Window_Driver.H | 1 |
1 files changed, 0 insertions, 1 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; |