KEYBOARD          147 gui/fb/EventDevice.cpp               _type = InputDevice::KEYBOARD;
KEYBOARD          478 gui/fb/EventDevice.cpp             if ((dev->getType() == InputDevice::KEYBOARD)) {