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/desktop.h | |
| parent | 1fc73fd6d8cb70e306b3bdeb375de1dd1e9458cc (diff) | |
| download | mv-00f62e4f3db5aa737b4242a3d691d2ade299fc72.tar.gz mv-00f62e4f3db5aa737b4242a3d691d2ade299fc72.tar.bz2 mv-00f62e4f3db5aa737b4242a3d691d2ade299fc72.tar.xz mv-00f62e4f3db5aa737b4242a3d691d2ade299fc72.zip | |
Add missing override and final to destructors.
Also remove some empty destructors.
Diffstat (limited to 'src/gui/widgets/desktop.h')
| -rw-r--r-- | src/gui/widgets/desktop.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/widgets/desktop.h b/src/gui/widgets/desktop.h index 8a655892d..ed5fd2340 100644 --- a/src/gui/widgets/desktop.h +++ b/src/gui/widgets/desktop.h @@ -56,7 +56,7 @@ class Desktop final : public Container, A_DELETE_COPY(Desktop) - ~Desktop(); + ~Desktop() override final; /** * Has to be called after updates have been loaded. |