# HG changeset patch # User Nick Roberts # Date 1180832231 0 # Node ID e6d77a4d2ea6c50260c7f2c59c9746b5d8d2c251 # Parent d620b28641cd10be29e71f76cce5b185e48fc449 (discard_mouse_events): Add GPM_CLICK_EVENT case. diff -r d620b28641cd -r e6d77a4d2ea6 src/keyboard.c --- a/src/keyboard.c Sun Jun 03 00:55:34 2007 +0000 +++ b/src/keyboard.c Sun Jun 03 00:57:11 2007 +0000 @@ -3918,6 +3918,9 @@ #ifdef WINDOWSNT || sp->kind == W32_SCROLL_BAR_CLICK_EVENT #endif +#ifdef HAVE_GPM + || sp->kind == GPM_CLICK_EVENT +#endif || sp->kind == SCROLL_BAR_CLICK_EVENT) { sp->kind = NO_EVENT;