saveButton.setEnabled(false);
}
private void selectTargetAtCurrentPosition(SourceRange sourceRange) {
Document doc = editorPane.getDocument();
SourcePosition startPosition = sourceRange.getStartSourcePosition();
SourcePosition endPosition = sourceRange.getEndSourcePosition();
try {
int len = doc.getLength();
String text = doc.getText(0, len);
int startIndex = startPosition.getPosition(text);
int endIndex = endPosition.getPosition(text, startPosition, startIndex);
editorPane.select(startIndex, endIndex);
} catch (BadLocationException e1) {
e1.printStackTrace();