public static void showResult(JTextArea txt, String result) {
try {
if (txt.getText().length() == 0) {
txt.setText(result);
txt.setSelectionStart(txt.getText().length());
txt.setSelectionEnd(txt.getText().length() - 1);
} else {
if (txt.getText().length() > MAX_LOG_SIZE)
txt.getDocument().remove(0, txt.getText().length() - MAX_LOG_SIZE);
txt.setSelectionStart(txt.getText().length());
txt.getDocument().insertString(txt.getText().length(), result, null);
txt.setSelectionEnd(txt.getText().length());
}
} catch (Exception e) {
e.printStackTrace();
}
}
private void highlightError(int index) {
String message = (String) messages.elementAt(index);
int i = message.indexOf(":");
if ((i != -1) && (i < 10)) {
try {
int lineNumber = Integer.parseInt(message.substring(0, i).trim()) - 1;
if (lineNumber < sourceArea.getLineCount()) {
int start = sourceArea.getLineStartOffset(lineNumber);
int end = sourceArea.getLineEndOffset(lineNumber);
sourceArea.requestFocus();
sourceArea.setSelectionStart(start);
sourceArea.setSelectionEnd(end - 1);
}
} catch (Exception ex) {
ex.printStackTrace();
}
}
}
private void updateViewerForSelection() {
if (myAllContents.isEmpty()) return;
String fullString = getSelectedText();
if (myViewer != null) {
EditorFactory.getInstance().releaseEditor(myViewer);
}
if (myUseIdeaEditor) {
myViewer = createIdeaEditor(fullString);
JComponent component = myViewer.getComponent();
component.setPreferredSize(JBUI.size(300, 500));
mySplitter.setSecondComponent(component);
} else {
final JTextArea textArea = new JTextArea(fullString);
textArea.setRows(3);
textArea.setWrapStyleWord(true);
textArea.setLineWrap(true);
textArea.setSelectionStart(0);
textArea.setSelectionEnd(textArea.getText().length());
textArea.setEditable(false);
mySplitter.setSecondComponent(ScrollPaneFactory.createScrollPane(textArea));
}
mySplitter.revalidate();
}
