diff options
author | Bent Bisballe Nyeng <deva@aasimon.org> | 2017-04-15 09:53:56 +0200 |
---|---|---|
committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2017-04-15 09:53:56 +0200 |
commit | 2a373d19a912fdd6b713bcb2150f19333d583174 (patch) | |
tree | b272667c57d5997d925ceb9c5a22f1cfe13c6b80 /plugingui/eventhandler.h | |
parent | 8b3506186e5c9c810bcbe4a4206874d9fd4dfe9b (diff) |
Fix erronous event skips from mouse move event filter.
Diffstat (limited to 'plugingui/eventhandler.h')
-rw-r--r-- | plugingui/eventhandler.h | 9 |
1 files changed, 6 insertions, 3 deletions
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<Event> getNextEvent(); |