/** * Changes letter case. * * @param typeOfCase The type that the case should be changed to */ public void changeCase(String typeOfCase) { if (textarea.selectedTextProperty().length().get() == 0) { textarea.selectAll(); if (textarea.selectedTextProperty().length().get() == 0) { return; } } String result = TextUtilities.changeCase(textarea.getSelectedText(), typeOfCase); int start = textarea.getSelection().getStart(); textarea.replaceSelection(result); textarea.selectRange(start, start + result.length()); }