diff options
author | Marc Mutz <marc.mutz@qt.io> | 2023-08-14 16:42:38 +0200 |
---|---|---|
committer | Qt Cherry-pick Bot <cherrypick_bot@qt-project.org> | 2023-08-16 16:37:43 +0000 |
commit | dc0ec0247cb46c7f9168adc2901646c1d0c2f440 (patch) | |
tree | 134a8ef4f9dca60a1c3d286dda172444d96216a5 | |
parent | 9cb551d97f4a9511cc1daea546a9cd1ce91cc5b2 (diff) |
QPdfPageSelector: mark dtor as override
... because it does.
Found in API-review.
Change-Id: Id1004406dbffeb92eb5297ce1623fc609d511494
Reviewed-by: Shawn Rutledge <shawn.rutledge@qt.io>
(cherry picked from commit a17fe1a5f7100be4ccad0a8f9033ebf070e455a6)
Reviewed-by: Qt Cherry-pick Bot <cherrypick_bot@qt-project.org>
-rw-r--r-- | src/pdfwidgets/qpdfpageselector.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pdfwidgets/qpdfpageselector.h b/src/pdfwidgets/qpdfpageselector.h index 978b5e775..9968a583f 100644 --- a/src/pdfwidgets/qpdfpageselector.h +++ b/src/pdfwidgets/qpdfpageselector.h @@ -24,7 +24,7 @@ class Q_PDF_WIDGETS_EXPORT QPdfPageSelector : public QSpinBox public: QPdfPageSelector() : QPdfPageSelector(nullptr) {} explicit QPdfPageSelector(QWidget *parent); - ~QPdfPageSelector(); + ~QPdfPageSelector() override; void setDocument(QPdfDocument *document); QPdfDocument *document() const; |