/**
* Selects a range of text in a text component. If the new selection is outside of the previous
* viewable rectangle, then the view is centered around the new selection.
*
* @param textArea The text component whose selection is to be centered.
* @param start The start of the range to select.
* @param end The end of the range to select.
*/
private static void selectAndPossiblyCenter(JTextArea textArea, int start, int end) {
textArea.setSelectionStart(start);
textArea.setSelectionEnd(end);
Rectangle r = null;
try {
r = textArea.modelToView(start);
if (r == null) { // Not yet visible; i.e. JUnit tests
return;
}
if (end != start) {
r = r.union(textArea.modelToView(end));
}
} catch (BadLocationException ble) { // Never happens
ble.printStackTrace();
textArea.setSelectionStart(start);
textArea.setSelectionEnd(end);
return;
}
Rectangle visible = textArea.getVisibleRect();
// If the new selection is already in the view, don't scroll,
// as that is visually jarring.
if (visible.contains(r)) {
textArea.setSelectionStart(start);
textArea.setSelectionEnd(end);
return;
}
visible.x = r.x - (visible.width - r.width) / 2;
visible.y = r.y - (visible.height - r.height) / 2;
Rectangle bounds = textArea.getBounds();
Insets i = textArea.getInsets();
bounds.x = i.left;
bounds.y = i.top;
bounds.width -= i.left + i.right;
bounds.height -= i.top + i.bottom;
if (visible.x < bounds.x) {
visible.x = bounds.x;
}
if (visible.x + visible.width > bounds.x + bounds.width) {
visible.x = bounds.x + bounds.width - visible.width;
}
if (visible.y < bounds.y) {
visible.y = bounds.y;
}
if (visible.y + visible.height > bounds.y + bounds.height) {
visible.y = bounds.y + bounds.height - visible.height;
}
textArea.scrollRectToVisible(visible);
}
public void handle(Throwable e) {
e.printStackTrace();
JTextArea area = new JTextArea(10, 40);
StringWriter writer = new StringWriter();
e.printStackTrace(new PrintWriter(writer));
area.setText(writer.toString());
area.setCaretPosition(0);
String copyOption = resources.getString("dialog.error.copy");
JOptionPane pane =
new JOptionPane(
new JScrollPane(area),
JOptionPane.ERROR_MESSAGE,
JOptionPane.YES_NO_OPTION,
null,
new String[] {copyOption, resources.getString("cancel")});
JOptionPane pane =
new JOptionPane(
new JScrollPane(area),
0,
0,
null,
new String[] {
copyOption, WorldFrame.access$600(WorldFrame.this).getString("cancel")
});
pane.createDialog(WorldFrame.this, e.toString()).setVisible(true);
if (copyOption.equals(pane.getValue())) {
area.setSelectionStart(0);
area.setSelectionEnd(area.getText().length());
area.copy(); // copy to clipboard
}
}
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();
}
}
}
/**
* Selects a range of text in a text component. If the new selection is outside of the previous
* viewable rectangle, then the view is centered around the new selection.
*
* @param textArea The text component whose selection is to be centered.
* @param start The start of the range to select.
* @param end The end of the range to select.
*/
private static void selectAndPossiblyCenter(JTextArea textArea, int start, int end) {
boolean foldsExpanded = false;
if (textArea instanceof RSyntaxTextArea) {
RSyntaxTextArea rsta = (RSyntaxTextArea) textArea;
FoldManager fm = rsta.getFoldManager();
if (fm.isCodeFoldingSupportedAndEnabled()) {
foldsExpanded = fm.ensureOffsetNotInClosedFold(start);
foldsExpanded |= fm.ensureOffsetNotInClosedFold(end);
}
}
textArea.setSelectionStart(start);
textArea.setSelectionEnd(end);
Rectangle r = null;
try {
r = textArea.modelToView(start);
if (r == null) { // Not yet visible; i.e. JUnit tests
return;
}
if (end != start) {
r = r.union(textArea.modelToView(end));
}
} catch (BadLocationException ble) { // Never happens
ble.printStackTrace();
textArea.setSelectionStart(start);
textArea.setSelectionEnd(end);
return;
}
Rectangle visible = textArea.getVisibleRect();
// If the new selection is already in the view, don't scroll,
// as that is visually jarring.
if (!foldsExpanded && visible.contains(r)) {
textArea.setSelectionStart(start);
textArea.setSelectionEnd(end);
return;
}
visible.x = r.x - (visible.width - r.width) / 2;
visible.y = r.y - (visible.height - r.height) / 2;
Rectangle bounds = textArea.getBounds();
Insets i = textArea.getInsets();
bounds.x = i.left;
bounds.y = i.top;
bounds.width -= i.left + i.right;
bounds.height -= i.top + i.bottom;
if (visible.x < bounds.x) {
visible.x = bounds.x;
}
if (visible.x + visible.width > bounds.x + bounds.width) {
visible.x = bounds.x + bounds.width - visible.width;
}
if (visible.y < bounds.y) {
visible.y = bounds.y;
}
if (visible.y + visible.height > bounds.y + bounds.height) {
visible.y = bounds.y + bounds.height - visible.height;
}
textArea.scrollRectToVisible(visible);
}
public void setInfoText(String text) {
propArea.setText(text);
propArea.setSelectionStart(0);
propArea.setSelectionEnd(0);
}
public synchronized void console(String s, String ss) {
rowConsole++;
this.console.setRows(rowConsole);
this.console.insert("\n " + ss + " > " + s, this.stConsole.length());
console.setSelectionStart(rowConsole);
}
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();
}