diff options
| author | Matthias Melcher <github@matthiasm.com> | 2022-12-30 19:14:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-30 19:14:36 +0100 |
| commit | 44c874b731f9f58c2f50c3c6076371058cbe26e3 (patch) | |
| tree | 2386dfcc700c41a1109fc78b96875c11056abcc9 /src/drivers/Wayland/Fl_Wayland_Window_Driver.H | |
| parent | f58a93a159105336136ce6e54ab7fc161e4fa15a (diff) | |
Use `FL_OVERRIDE` for all overridden virtual methods (#611)
FL_OVERRIDE is defined as `override` for C++11 and higher
FL_OVERRIDE is defined as `override` for VisualC 2015 and newer
Don't interfere with Fl_Widget::override()
Diffstat (limited to 'src/drivers/Wayland/Fl_Wayland_Window_Driver.H')
| -rw-r--r-- | src/drivers/Wayland/Fl_Wayland_Window_Driver.H | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/src/drivers/Wayland/Fl_Wayland_Window_Driver.H b/src/drivers/Wayland/Fl_Wayland_Window_Driver.H index 2b12ededd..60e346915 100644 --- a/src/drivers/Wayland/Fl_Wayland_Window_Driver.H +++ b/src/drivers/Wayland/Fl_Wayland_Window_Driver.H @@ -77,7 +77,7 @@ public: static type_for_resize_window_between_screens data_for_resize_window_between_screens_; void decorated_win_size(int &w, int &h); void shape_bitmap_(Fl_Image* b); - void shape_alpha_(Fl_Image* img, int offset); + void shape_alpha_(Fl_Image* img, int offset) FL_OVERRIDE; void update_scale(); cairo_rectangle_int_t *subRect() { return subRect_; } // getter void subRect(cairo_rectangle_int_t *r); // setter @@ -93,40 +93,40 @@ public: static void resize_after_screen_change(void *data); // --- window data - virtual int decorated_w(); - virtual int decorated_h(); - virtual const Fl_Image* shape(); + int decorated_w() FL_OVERRIDE; + int decorated_h() FL_OVERRIDE; + const Fl_Image* shape() FL_OVERRIDE; // --- window management - virtual Fl_X *makeWindow(); - virtual void take_focus(); - virtual void flush(); - virtual void flush_overlay(); - virtual void draw_end(); - virtual void make_current(); - virtual void show(); - virtual void resize(int X,int Y,int W,int H); - virtual void label(const char *name, const char *mininame); - virtual void destroy_double_buffer(); - virtual void hide(); - virtual void map(); - virtual void unmap(); - virtual void fullscreen_on(); - virtual void fullscreen_off(int X, int Y, int W, int H); - virtual void use_border(); - virtual void size_range(); - virtual void iconize(); - virtual void decoration_sizes(int *top, int *left, int *right, int *bottom); + Fl_X *makeWindow() FL_OVERRIDE; + void take_focus() FL_OVERRIDE; + void flush() FL_OVERRIDE; + void flush_overlay() FL_OVERRIDE; + void draw_end() FL_OVERRIDE; + void make_current() FL_OVERRIDE; + 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; + void fullscreen_on() FL_OVERRIDE; + void fullscreen_off(int X, int Y, int W, int H) FL_OVERRIDE; + void use_border() FL_OVERRIDE; + void size_range() FL_OVERRIDE; + void iconize() FL_OVERRIDE; + void decoration_sizes(int *top, int *left, int *right, int *bottom) FL_OVERRIDE; // --- window cursor stuff - virtual int set_cursor(Fl_Cursor); - virtual int set_cursor(const Fl_RGB_Image*, int, int); - - virtual void shape(const Fl_Image* img); - virtual void capture_titlebar_and_borders(Fl_RGB_Image*& top, Fl_RGB_Image*& left, Fl_RGB_Image*& bottom, Fl_RGB_Image*& right); - virtual int scroll(int src_x, int src_y, int src_w, int src_h, int dest_x, int dest_y, void (*draw_area)(void*, int,int,int,int), void* data); - virtual void wait_for_expose(); - virtual void reposition_menu_window(int x, int y); - virtual void menu_window_area(int &X, int &Y, int &W, int &H, int nscreen = -1); + int set_cursor(Fl_Cursor) FL_OVERRIDE; + int set_cursor(const Fl_RGB_Image*, int, int) FL_OVERRIDE; + + void shape(const Fl_Image* img) FL_OVERRIDE; + void capture_titlebar_and_borders(Fl_RGB_Image*& top, Fl_RGB_Image*& left, Fl_RGB_Image*& bottom, Fl_RGB_Image*& right) FL_OVERRIDE; + int scroll(int src_x, int src_y, int src_w, int src_h, int dest_x, int dest_y, void (*draw_area)(void*, int,int,int,int), void* data) FL_OVERRIDE; + void wait_for_expose() FL_OVERRIDE; + void reposition_menu_window(int x, int y) FL_OVERRIDE; + void menu_window_area(int &X, int &Y, int &W, int &H, int nscreen = -1) FL_OVERRIDE; }; |
