diff options
author | Bardur Arantsson <bardur@scientician.net> | 2019-02-15 19:20:26 +0100 |
---|---|---|
committer | Bardur Arantsson <bardur@scientician.net> | 2019-02-15 19:20:26 +0100 |
commit | d7fc8d9619fb06cee0ec5ab11f313d610af78efb (patch) | |
tree | ee82a77bba773316d0adbe2efde5078063e2e6f2 | |
parent | b18fb26a8ca36c73cc17e7d0c8235f97b7fda4f0 (diff) |
main-x11: Remove dead code
-rw-r--r-- | src/main-x11.cc | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/main-x11.cc b/src/main-x11.cc index a02b658c..4650923e 100644 --- a/src/main-x11.cc +++ b/src/main-x11.cc @@ -1201,21 +1201,6 @@ static errr CheckEvent(term_data *old_td, bool wait) switch (xev->type) { - case EnterNotify: - case LeaveNotify: - { - /* Where is the mouse */ - /* XXX Handle */ - - break; - } - - case KeyRelease: - { - /* Nothing */ - break; - } - case KeyPress: { /* Hack -- use "old" term */ |