@Override
public void pushKey(KeyboardButton key) {
doPushKey(control.getEnvironment().getTimeout(PUSH), key);
}
@Override
public void typeChar(char keyChar) {
typeChar(keyChar, control.getEnvironment().getTimeout(PUSH));
}
@Override
public void pushKey(KeyboardButton key, Modifier... modifiers) {
doPushKey(control.getEnvironment().getTimeout(PUSH), key, modifiers);
}
