*/
+
#include "lib/signal_manager.h"
+
class wxEvtHandler;
+
/** @class wxSignalManager
* @brief SignalManager for the wxWidgets event loop
*/
{
public:
explicit wxSignalManager (wxEvtHandler *);
- void wake_ui ();
+ void wake_ui () override;
private:
wxEvtHandler* _handler;