@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); }