diff options
| author | Carl Hetherington <cth@carlh.net> | 2022-04-09 13:58:27 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2022-04-09 13:58:27 +0200 |
| commit | b915348a8288d68e2ff114fb3dd89ad22e699969 (patch) | |
| tree | 46ce54a62bef93a544ada376d2c42ad4ab50f596 /src/wx/wx_signal_manager.h | |
| parent | c80f7a440de73dead499764b4073d39d54c68b9f (diff) | |
Add some missing override labels.
Diffstat (limited to 'src/wx/wx_signal_manager.h')
| -rw-r--r-- | src/wx/wx_signal_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wx/wx_signal_manager.h b/src/wx/wx_signal_manager.h index 2e6ddc300..7269acebf 100644 --- a/src/wx/wx_signal_manager.h +++ b/src/wx/wx_signal_manager.h @@ -30,7 +30,7 @@ class wxSignalManager : public SignalManager { public: explicit wxSignalManager (wxEvtHandler *); - void wake_ui (); + void wake_ui () override; private: wxEvtHandler* _handler; |