* point (at the time the screen is refreshed, buffer swapped).
*/
protected void processlLWJGLInput() {
if (Keyboard.isCreated()) {
while (Keyboard.next()) {
KLAWT k = KLAWT._findL(Keyboard.getEventKey());
int id = Keyboard.getEventKeyState() ? KeyEvent.KEY_PRESSED : KeyEvent.KEY_RELEASED;
if (isDebugActivityEnabled()) {
Logger.getLogger(LOGGER_NAME).log(Level.CONFIG, "caught LWJGL Keyboard event {0}", k);
}
ctrlHDR.pushKeyEvent(new KeyEvent(RenderingSceneGL.this, id, Math.round(Keyboard.getEventNanoseconds() / 1000000L), 0, k.awtKeyCode, k.character, k.keyLocation));