private void addStyledText(String text, Style style) {
try {
doc.insertString(doc.getLength(), text, style);
} catch (BadLocationException ble) {
ble.printStackTrace();
}
}
public void mousePressed(MouseEvent evt) {
requestFocus();
// Focus events not fired sometimes?
setCaretVisible(true);
focusedComponent = JEditTextArea.this;
if ((evt.getModifiers() & InputEvent.BUTTON3_MASK) != 0 && popup != null) {
popup.show(painter, evt.getX(), evt.getY());
return;
}
int line = yToLine(evt.getY());
int offset = xToOffset(line, evt.getX());
int dot = getLineStartOffset(line) + offset;
switch (evt.getClickCount()) {
case 1:
doSingleClick(evt, line, offset, dot);
break;
case 2:
// It uses the bracket matching stuff, so
// it can throw a BLE
try {
doDoubleClick(evt, line, offset, dot);
} catch (BadLocationException bl) {
bl.printStackTrace();
}
break;
case 3:
doTripleClick(evt, line, offset, dot);
break;
}
}
/**
* Similar to <code>setSelectedText()</code>, but overstrikes the appropriate number of characters
* if overwrite mode is enabled.
*
* @param str The string
* @see #setSelectedText(String)
* @see #isOverwriteEnabled()
*/
public void overwriteSetSelectedText(String str) {
// Don't overstrike if there is a selection
if (!overwrite || selectionStart != selectionEnd) {
setSelectedText(str);
return;
}
// Don't overstrike if we're on the end of
// the line
int caret = getCaretPosition();
int caretLineEnd = getLineEndOffset(getCaretLine());
if (caretLineEnd - caret <= str.length()) {
setSelectedText(str);
return;
}
document.beginCompoundEdit();
try {
document.remove(caret, str.length());
document.insertString(caret, str, null);
} catch (BadLocationException bl) {
bl.printStackTrace();
} finally {
document.endCompoundEdit();
}
}
public void execute() {
if (!isEditable() || !isEnabled()) {
return;
}
try {
int position = lastClickPoint != null ? viewToModel(lastClickPoint) : getCaretPosition();
lastClickPoint = null;
Document document = getDocument();
String selectedText = getSelectedText();
if (selectedText != null && !CommonUtil.isEmpty(selectedText)) {
final int selectionEnd = getSelectionEnd();
document.insertString(selectionEnd, selectedText, null);
select(selectionEnd, selectionEnd + selectedText.length());
} else {
final int docLen = document.getLength();
int fromIndex = Math.max(0, getText(0, position).lastIndexOf('\n'));
int toIndex = getText(fromIndex + 1, docLen - fromIndex).indexOf('\n');
toIndex = toIndex < 0 ? docLen : fromIndex + toIndex;
String textToDuplicate = getText(fromIndex, toIndex - fromIndex + 1);
if (!textToDuplicate.startsWith("\n")) {
textToDuplicate = "\n" + textToDuplicate;
}
if (textToDuplicate.endsWith("\n")) {
textToDuplicate = textToDuplicate.substring(0, textToDuplicate.length() - 1);
}
document.insertString(Math.min(docLen, toIndex + 1), textToDuplicate, null);
setCaretPosition(position + textToDuplicate.length());
}
} catch (BadLocationException e1) {
e1.printStackTrace();
}
}
public void toggleBreakpoint() {
if (isEnabled()) {
try {
int position = lastClickPoint != null ? viewToModel(lastClickPoint) : getCaretPosition();
lastClickPoint = null;
if (position >= 0) {
String textToCaret = getDocument().getText(0, position);
int lineCount = 0;
for (int i = 0; i < textToCaret.length(); i++) {
if (textToCaret.charAt(i) == '\n') {
lineCount++;
}
}
if (breakpoints.isThereBreakpoint(lineCount)) {
breakpoints.removeBreakpoint(lineCount);
} else {
breakpoints.addBreakpoint(new BreakpointInfo(lineCount));
}
}
} catch (BadLocationException e) {
e.printStackTrace();
}
Component parent = GuiUtils.getParentOfType(this, XmlEditorScrollPane.class);
if (parent != null) {
((XmlEditorScrollPane) parent).onDocChanged();
}
repaint();
}
}
/**
* Returns the specified substring of the document.
*
* @param start The start offset
* @param len The length of the substring
* @return The substring, or null if the offsets are invalid
*/
public final String getText(int start, int len) {
try {
return document.getText(start, len);
} catch (BadLocationException bl) {
bl.printStackTrace();
return null;
}
}
/**
* Copies the specified substring of the document into a segment. If the offsets are invalid, the
* segment will contain a null string.
*
* @param start The start offset
* @param len The length of the substring
* @param segment The segment
*/
public final void getText(int start, int len, Segment segment) {
try {
document.getText(start, len, segment);
} catch (BadLocationException bl) {
bl.printStackTrace();
segment.offset = segment.count = 0;
}
}
/** Returns the entire text of this text area. */
public String getText() {
try {
return document.getText(0, document.getLength());
} catch (BadLocationException bl) {
bl.printStackTrace();
return null;
}
}
private void moveCursorToTest(Test test) {
if (test instanceof TestCase) {
String func = ((TestCase) test).getName();
try {
SikuliIDE.getInstance().jumpTo(func);
} catch (BadLocationException e) {
e.printStackTrace();
}
}
}
/**
* Makes a <code>Segment</code> point to the text in our document between the given positions.
* Note that the positions MUST be valid positions in the document.
*
* @param p0 The first position in the document.
* @param p1 The second position in the document.
* @param document The document from which you want to get the text.
* @param seg The segment in which to load the text.
*/
private void setSegment(int p0, int p1, Document document, Segment seg) {
try {
// System.err.println("... in setSharedSegment, p0/p1==" + p0 + "/" + p1);
document.getText(p0, p1 - p0, seg);
// System.err.println("... in setSharedSegment: s=='" + s + "'; line/numLines==" + line + "/"
// + numLines);
} catch (BadLocationException ble) { // Never happens
ble.printStackTrace();
}
}
/** Sets the entire text of this text area. */
public void setText(String text) {
try {
document.beginCompoundEdit();
document.remove(0, document.getLength());
document.insertString(0, text, null);
} catch (BadLocationException bl) {
bl.printStackTrace();
} finally {
document.endCompoundEdit();
}
}
public void execute() {
if (!isEditable() || !isEnabled()) {
return;
}
int position = lastClickPoint != null ? viewToModel(lastClickPoint) : getCaretPosition();
lastClickPoint = null;
Document document = getDocument();
String selectedText = getSelectedText();
try {
if (selectedText != null && !CommonUtil.isEmpty(selectedText)) {
String trimmed = selectedText.trim();
if (trimmed.startsWith("<!--") && trimmed.endsWith("-->")) {
StringBuffer buffer = new StringBuffer(selectedText);
int pos = buffer.indexOf("<!--");
buffer.delete(pos, pos + 4);
pos = buffer.lastIndexOf("-->");
buffer.delete(pos, pos + 3);
replaceSelection(buffer.toString());
} else {
String newSelection = "<!--" + selectedText + "-->";
replaceSelection(newSelection);
}
} else {
final int docLen = document.getLength();
int fromIndex = Math.max(0, getText(0, position).lastIndexOf('\n'));
int toIndex = getText(fromIndex + 1, docLen - position).indexOf('\n');
toIndex = toIndex < 0 ? docLen : fromIndex + toIndex;
String textToComment = getText(fromIndex, toIndex - fromIndex + 1);
if (textToComment.startsWith("\n")) {
textToComment = textToComment.substring(1);
fromIndex++;
}
if (textToComment.endsWith("\n")) {
textToComment = textToComment.substring(0, textToComment.length() - 1);
toIndex--;
}
String trimmed = textToComment.trim();
if (trimmed.startsWith("<!--") && trimmed.endsWith("-->")) {
int pos = textToComment.lastIndexOf("-->");
document.remove(fromIndex + pos, 3);
pos = textToComment.indexOf("<!--");
document.remove(fromIndex + pos, 4);
} else {
document.insertString(Math.min(toIndex + 1, docLen), "-->", null);
document.insertString(fromIndex, "<!--", null);
}
}
} catch (BadLocationException e1) {
e1.printStackTrace();
}
}
public void actionPerformed(ActionEvent e) {
JTextComponent textComponent = getTextComponent(e);
if (!textComponent.isEditable() || !textComponent.isEnabled()) {
return;
}
try {
outdentText(textComponent);
} catch (BadLocationException e1) {
e1.printStackTrace();
}
}
private static void insertQuestion(final JTextPane textPane, String str) {
Document doc = textPane.getDocument();
try {
doc.insertString(doc.getLength(), str, null);
final int pos = doc.getLength();
System.out.println(pos);
final JTextField field =
new JTextField(4) {
@Override
public Dimension getMaximumSize() {
return getPreferredSize();
}
};
field.setBorder(BorderFactory.createMatteBorder(0, 0, 1, 0, Color.BLACK));
field.addFocusListener(
new FocusListener() {
@Override
public void focusGained(FocusEvent e) {
try {
Rectangle rect = textPane.modelToView(pos);
rect.grow(0, 4);
rect.setSize(field.getSize());
// System.out.println(rect);
// System.out.println(field.getLocation());
textPane.scrollRectToVisible(rect);
} catch (BadLocationException ex) {
ex.printStackTrace();
}
}
@Override
public void focusLost(FocusEvent e) {
/* not needed */
}
});
Dimension d = field.getPreferredSize();
int baseline = field.getBaseline(d.width, d.height);
field.setAlignmentY(baseline / (float) d.height);
SimpleAttributeSet a = new SimpleAttributeSet();
StyleConstants.setLineSpacing(a, 1.5f);
textPane.setParagraphAttributes(a, true);
textPane.insertComponent(field);
doc.insertString(doc.getLength(), "\n", null);
} catch (BadLocationException e) {
e.printStackTrace();
}
}
public void actionPerformed(ActionEvent e) {
ETextArea target = (ETextArea) getFocusedComponent();
try {
Document document = target.getDocument();
int position = target.getCaretPosition();
String whitespace = target.getIndentationOfLineAtOffset(position);
String prefix = "{\n" + whitespace + Parameters.getParameter("indent.string");
String suffix = "\n" + whitespace + "}";
document.insertString(position, prefix + suffix, null);
target.setCaretPosition(position + prefix.length());
} catch (BadLocationException ex) {
ex.printStackTrace();
}
}
protected void updateBracketHighlight(int newCaretPosition) {
if (newCaretPosition == 0) {
bracketPosition = bracketLine = -1;
return;
}
try {
int offset = TextUtilities.findMatchingBracket(document, newCaretPosition - 1);
if (offset != -1) {
bracketLine = getLineOfOffset(offset);
bracketPosition = offset - getLineStartOffset(bracketLine);
return;
}
} catch (BadLocationException bl) {
bl.printStackTrace();
}
bracketLine = bracketPosition = -1;
}
public void actionPerformed(ActionEvent e) {
JTextComponent textComponent = getTextComponent(e);
if (!textComponent.isEditable() || !textComponent.isEnabled()) {
return;
}
try {
final int position = getCaretPosition();
final Document document = getDocument();
int docLen = document.getLength();
if (docLen == 0) {
return;
}
int fromIndex = Math.max(0, getText(0, position).lastIndexOf('\n'));
int toIndex = getText(fromIndex + 1, docLen - fromIndex - 1).indexOf('\n');
toIndex = toIndex < 0 ? docLen : fromIndex + toIndex + 1;
String text = getText(fromIndex, toIndex - fromIndex);
if (text.startsWith("\n") || toIndex >= docLen) {
document.remove(fromIndex, toIndex - fromIndex);
} else {
document.remove(fromIndex, toIndex - fromIndex + 1);
}
int newPosition = 0;
if (fromIndex > 0) {
newPosition = fromIndex + 1;
}
docLen = document.getLength();
if (newPosition > docLen) {
newPosition = getText().lastIndexOf('\n') + 1;
}
setCaretPosition(newPosition);
} catch (BadLocationException e1) {
e1.printStackTrace();
}
}
/**
* Replaces the selection with the specified text.
*
* @param selectedText The replacement text for the selection
*/
public void setSelectedText(String selectedText) {
if (!editable) {
throw new InternalError("Text component" + " read only");
}
document.beginCompoundEdit();
try {
if (rectSelect) {
Element map = document.getDefaultRootElement();
int start = selectionStart - map.getElement(selectionStartLine).getStartOffset();
int end = selectionEnd - map.getElement(selectionEndLine).getStartOffset();
// Certain rectangles satisfy this condition...
if (end < start) {
int tmp = end;
end = start;
start = tmp;
}
int lastNewline = 0;
int currNewline = 0;
for (int i = selectionStartLine; i <= selectionEndLine; i++) {
Element lineElement = map.getElement(i);
int lineStart = lineElement.getStartOffset();
int lineEnd = lineElement.getEndOffset() - 1;
int rectStart = Math.min(lineEnd, lineStart + start);
document.remove(rectStart, Math.min(lineEnd - rectStart, end - start));
if (selectedText == null) continue;
currNewline = selectedText.indexOf('\n', lastNewline);
if (currNewline == -1) currNewline = selectedText.length();
document.insertString(rectStart, selectedText.substring(lastNewline, currNewline), null);
lastNewline = Math.min(selectedText.length(), currNewline + 1);
}
if (selectedText != null && currNewline != selectedText.length()) {
int offset = map.getElement(selectionEndLine).getEndOffset() - 1;
document.insertString(offset, "\n", null);
document.insertString(offset + 1, selectedText.substring(currNewline + 1), null);
}
} else {
document.remove(selectionStart, selectionEnd - selectionStart);
if (selectedText != null) {
document.insertString(selectionStart, selectedText, null);
}
}
} catch (BadLocationException bl) {
bl.printStackTrace();
throw new InternalError("Cannot replace" + " selection");
}
// No matter what happends... stops us from leaving document
// in a bad state
finally {
document.endCompoundEdit();
}
setCaretPosition(selectionEnd);
}
private void doDoubleClick(MouseEvent evt, int line, int offset, int dot)
throws BadLocationException {
// Ignore empty lines
if (getLineLength(line) == 0) return;
try {
int bracket = TextUtilities.findMatchingBracket(document, Math.max(0, dot - 1));
if (bracket != -1) {
int mark = getMarkPosition();
// Hack
if (bracket > mark) {
bracket++;
mark--;
}
select(mark, bracket);
return;
}
} catch (BadLocationException bl) {
bl.printStackTrace();
}
// Ok, it's not a bracket... select the word
String lineText = getLineText(line);
char ch = lineText.charAt(Math.max(0, offset - 1));
String noWordSep = (String) document.getProperty("noWordSep");
if (noWordSep == null) noWordSep = "";
// If the user clicked on a non-letter char,
// we select the surrounding non-letters
boolean selectNoLetter = (!Character.isLetterOrDigit(ch) && noWordSep.indexOf(ch) == -1);
int wordStart = 0;
for (int i = offset - 1; i >= 0; i--) {
ch = lineText.charAt(i);
if (selectNoLetter ^ (!Character.isLetterOrDigit(ch) && noWordSep.indexOf(ch) == -1)) {
wordStart = i + 1;
break;
}
}
int wordEnd = lineText.length();
for (int i = offset; i < lineText.length(); i++) {
ch = lineText.charAt(i);
if (selectNoLetter ^ (!Character.isLetterOrDigit(ch) && noWordSep.indexOf(ch) == -1)) {
wordEnd = i;
break;
}
}
int lineStart = getLineStartOffset(line);
select(lineStart + wordStart, lineStart + wordEnd);
/*
String lineText = getLineText(line);
String noWordSep = (String)document.getProperty("noWordSep");
int wordStart = TextUtilities.findWordStart(lineText,offset,noWordSep);
int wordEnd = TextUtilities.findWordEnd(lineText,offset,noWordSep);
int lineStart = getLineStartOffset(line);
select(lineStart + wordStart,lineStart + wordEnd);
*/
}
