diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-05-17 12:11:18 +0200 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-05-17 12:11:18 +0200 |
| commit | 905a90f660e12391f3692402cb661f5efaa3218a (patch) | |
| tree | 6525824a113742d3b153e06a81ec0fb2645bbd4e /src/drivers/Wayland/Fl_Wayland_Window_Driver.H | |
| parent | f01216f167bad1ad2efff1c351c9d310ef1104a2 (diff) | |
Make Fl_Wayland_Screen_Driver::close_display() close the GL connection if any.
Diffstat (limited to 'src/drivers/Wayland/Fl_Wayland_Window_Driver.H')
| -rw-r--r-- | src/drivers/Wayland/Fl_Wayland_Window_Driver.H | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/drivers/Wayland/Fl_Wayland_Window_Driver.H b/src/drivers/Wayland/Fl_Wayland_Window_Driver.H index 4fdcd957b..faa45b6fa 100644 --- a/src/drivers/Wayland/Fl_Wayland_Window_Driver.H +++ b/src/drivers/Wayland/Fl_Wayland_Window_Driver.H @@ -155,6 +155,7 @@ public: virtual const char *name() = 0; virtual void do_swap(Fl_Window*) = 0; virtual void invalidate(Fl_Window*) = 0; + virtual void terminate() = 0; }; #endif // FL_WAYLAND_WINDOW_DRIVER_H |