libgdx/libgdx — pull request #1387 by karlstrings (2014-02-23 06:14:24+00:00)
Title: Bug where key events were being tracked, but not deduped

Fixing an issue that manifests itself on GWT builds. Input events, specifically key up and key down events, are being tracked, but that tracking information is not used to filter duplicate key events.

This can cause unexpected behavior as the desktop backend does not trigger on duplicate events.