diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-09-08 16:04:09 +0200 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-09-08 16:04:09 +0200 |
| commit | 71069b857068201c37ffcc2c3e799329ff29769b (patch) | |
| tree | 2c534fcbd3da8d54cf1388816962822f46c7ae7b /src/drivers/GDI/Fl_Font.H | |
| parent | 13e05f4204cc636e40fd2591898c482aa0085226 (diff) | |
Add necessary virtual qualifier to ~Fl_Font_Descriptor() and derived.
Diffstat (limited to 'src/drivers/GDI/Fl_Font.H')
| -rw-r--r-- | src/drivers/GDI/Fl_Font.H | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/drivers/GDI/Fl_Font.H b/src/drivers/GDI/Fl_Font.H index f636bb2f4..d160c55e9 100644 --- a/src/drivers/GDI/Fl_Font.H +++ b/src/drivers/GDI/Fl_Font.H @@ -34,7 +34,7 @@ public: # if HAVE_GL char glok[64]; # endif // HAVE_GL - FL_EXPORT ~Fl_GDI_Font_Descriptor(); + virtual FL_EXPORT ~Fl_GDI_Font_Descriptor(); }; extern FL_EXPORT Fl_Fontdesc *fl_fonts; // the table |