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