nodebox/nodebox-opengl — pull request #6 by ont (2013-07-20 04:10:44+00:00)
Title: Fixing keys handling and keys code decoding

Some window managers may catch keys in weird manner.
So only Keys.remove() will be called. It will cause exception.