protected void selectAll() {
if (!keyboardSelection) {
target.mouse().click(selectAllClickCount, target.getClickPoint());
} else {
Keyboard kbrd = target.keyboard();
kbrd.pushKey(KeyboardButtons.HOME);
kbrd.pushKey(KeyboardButtons.END, KeyboardModifiers.SHIFT_DOWN_MASK);
kbrd.pushKey(KeyboardButtons.DELETE);
}
}