10081009101010111012101310141015101610171018
} else if (keyCode == Keyboard.KeyCode.Z && textPane.isEditable()) { if (Keyboard.isPressed(Keyboard.Modifier.SHIFT)) { textPane.redo(); } else { textPane.undo(); } consumed = true; } } else if (keyCode == Keyboard.KeyCode.HOME) {
948949950951952953954955956957958
textPane.paste(); consumed = true; } else if (keyCode == Keyboard.KeyCode.Z && textPane.isEditable()) { if (Keyboard.isPressed(Keyboard.Modifier.SHIFT)) { textPane.undo(); } else { textPane.redo(); } consumed = true;