diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-12-28 19:29:05 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-12-28 19:29:05 +0300 |
| commit | 00f62e4f3db5aa737b4242a3d691d2ade299fc72 (patch) | |
| tree | ee6fd7021bc7e4a69a1f9e69a4f3c3041f183f4d /src/gui/widgets/widget.h | |
| parent | 1fc73fd6d8cb70e306b3bdeb375de1dd1e9458cc (diff) | |
| download | plus-00f62e4f3db5aa737b4242a3d691d2ade299fc72.tar.gz plus-00f62e4f3db5aa737b4242a3d691d2ade299fc72.tar.bz2 plus-00f62e4f3db5aa737b4242a3d691d2ade299fc72.tar.xz plus-00f62e4f3db5aa737b4242a3d691d2ade299fc72.zip | |
Add missing override and final to destructors.
Also remove some empty destructors.
Diffstat (limited to 'src/gui/widgets/widget.h')
| -rw-r--r-- | src/gui/widgets/widget.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/widgets/widget.h b/src/gui/widgets/widget.h index bb41054d2..fc045a24a 100644 --- a/src/gui/widgets/widget.h +++ b/src/gui/widgets/widget.h @@ -111,7 +111,7 @@ class Widget notfinal : public Widget2 /** * Default destructor. */ - virtual ~Widget(); + ~Widget() override; /** * Draws the widget. It is called by the parent widget when it is time |