From 2a373d19a912fdd6b713bcb2150f19333d583174 Mon Sep 17 00:00:00 2001 From: Bent Bisballe Nyeng Date: Sat, 15 Apr 2017 09:53:56 +0200 Subject: Fix erronous event skips from mouse move event filter. --- plugingui/eventhandler.h | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'plugingui/eventhandler.h') diff --git a/plugingui/eventhandler.h b/plugingui/eventhandler.h index 7e9966c..bd79084 100644 --- a/plugingui/eventhandler.h +++ b/plugingui/eventhandler.h @@ -43,13 +43,16 @@ class EventHandler public: EventHandler(NativeWindow& nativeWindow, Window& window); - //! \brief Process all events currently in the event queue. + //! Process all events currently in the event queue. void processEvents(); - //! \brief Query if any events are currently in the event queue. + //! Query if any events are currently in the event queue. bool hasEvent(); - //! \brief Get a single event from the event queue. + //! Query if the topmost event in the event queue is of type. + bool queryNextEventType(EventType type); + + //! Get a single event from the event queue. //! \return A pointer to the event or nullptr if there are none. std::shared_ptr getNextEvent(); -- cgit v1.2.3