diff options
author | André Nusser <andre.nusser@googlemail.com> | 2017-01-01 15:44:16 +0100 |
---|---|---|
committer | André Nusser <andre.nusser@googlemail.com> | 2017-01-01 19:57:04 +0100 |
commit | 3608911a4c105b65c9049753759619e8d115b357 (patch) | |
tree | 53de1e6401380501707f12e08b72be53caaf3e34 | |
parent | badbd103ae9387912189f2aedf888fd89770ea10 (diff) |
Fix warnings of unhandled events that we don't have to care about.
-rw-r--r-- | plugingui/nativewindow_x11.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/plugingui/nativewindow_x11.cc b/plugingui/nativewindow_x11.cc index a4e9659..b579fb3 100644 --- a/plugingui/nativewindow_x11.cc +++ b/plugingui/nativewindow_x11.cc @@ -528,6 +528,12 @@ std::shared_ptr<Event> NativeWindowX11::translateXMessage(XEvent& xevent, } break; + case EnterNotify: + case LeaveNotify: + case MapNotify: + // There's nothing to do here atm. + break; + default: WARN(X11, "Unhandled xevent.type: %d\n", xevent.type); break; |