diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-05-22 06:44:29 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-05-22 06:44:44 -0400 |
| commit | 6916024768ec57a00f54224640ab4e4871d2a30a (patch) | |
| tree | 2e7dceb56f9e71f2139bca2567bc8c65b49f0fdf /src/ui_interface.h | |
| parent | d82c5d15c504f8c5eaa1fb890fe7f5dfe750946f (diff) | |
| parent | 60ebc7da4c2f918c821008088e88aba8ab40d867 (diff) | |
Merge #13282: trivial: Mark overrides as such.
60ebc7da4c trivial: Mark overrides as such. (Daniel Kraft)
Pull request description:
This trivial change adds the `override` keyword to some methods that override virtual base class / interface methods. This ensures that any future changes to the interface's method signatures which are not correctly mirrored in the subclasses will break at compile time with a clear error message, rather than at runtime.
Tree-SHA512: cc1bfa5f03b5e29d20e3eab07b0b5fa2f77b47f79e08263dbff43e4f463e9dd8f4f537e2c8c9b6cb3663220dcf40cfd77723cd9fcbd623c9efc90a4cd44facfc
Diffstat (limited to 'src/ui_interface.h')
0 files changed, 0 insertions, 0 deletions