public Document getDocument() { if (textArea == null) { return null; } return textArea.getDocument(); }
textArea.getDocument().remove(caret,1);
@Override public void removeDocumentListener(DocumentListener listener) { editor.getDocument().removeDocumentListener(listener); }
String noWordSep = (String)textArea.getDocument().getProperty("noWordSep"); caret = TextUtilities.findWordEnd(lineText,caret,noWordSep); textArea.getDocument().remove(start, (caret + lineStart) - start);
@Override public void removeDocumentListener(DocumentListener listener) { editor.getDocument().removeDocumentListener(listener); }
public void actionPerformed(ActionEvent evt) { JEditTextArea textArea = getTextArea(evt); int caret = textArea.getCaretPosition(); int line = textArea.getCaretLine(); int lineStart = textArea.getLineStartOffset(line); caret -= lineStart; String lineText = textArea.getLineText(textArea .getCaretLine()); if(caret == lineText.length()) { if(lineStart + caret == textArea.getDocumentLength()) { textArea.getToolkit().beep(); return; } caret++; } else { String noWordSep = (String)textArea.getDocument().getProperty("noWordSep"); caret = TextUtilities.findWordEnd(lineText,caret,noWordSep); } if(select) textArea.select(textArea.getMarkPosition(), lineStart + caret); else textArea.setCaretPosition(lineStart + caret); } }
@Override public void addDocumentListener(DocumentListener listener) { editor.getDocument().addDocumentListener(listener); }
@Override public void addDocumentListener(DocumentListener listener) { editor.getDocument().addDocumentListener(listener); }
editor.getDocument().removeDocumentListener(this); editor.getDocument().addDocumentListener(this); isModified = false; return true;
editor.getDocument().removeDocumentListener(this); editor.getDocument().addDocumentListener(this); isModified = false; return true;
.getDocument().getProperty( PlainDocument.tabSizeAttribute)).intValue(); TokenMarker tokenMarker = textArea.getDocument() .getTokenMarker(); int x = textArea.getHorizontalOffset();
textArea.getDocument().remove(caret - 1,1);
String noWordSep = (String)textArea.getDocument().getProperty("noWordSep"); caret = TextUtilities.findWordStart(lineText,caret,noWordSep); textArea.getDocument().remove( caret + lineStart, start - (caret + lineStart));
public void actionPerformed(ActionEvent evt) { JEditTextArea textArea = getTextArea(evt); int caret = textArea.getCaretPosition(); int line = textArea.getCaretLine(); int lineStart = textArea.getLineStartOffset(line); caret -= lineStart; String lineText = textArea.getLineText(textArea .getCaretLine()); if(caret == 0) { if(lineStart == 0) { textArea.getToolkit().beep(); return; } caret--; } else { String noWordSep = (String)textArea.getDocument().getProperty("noWordSep"); caret = TextUtilities.findWordStart(lineText,caret,noWordSep); } if(select) textArea.select(textArea.getMarkPosition(), lineStart + caret); else textArea.setCaretPosition(lineStart + caret); } }