ta.setLineWrap(true); ta.setWrapStyleWord(true); DefaultCaret caret = (DefaultCaret) ta.getCaret(); caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE); display(kind.activity + HOST + " on port " + PORT);
try { Document doc = target.getDocument(); Caret caret = target.getCaret(); int dot = caret.getDot(); int mark = caret.getMark();
@Override public void actionPerformed(ActionEvent e) { JTextComponent target = this.getTextComponent(e); if (Objects.nonNull(target) && target.isEditable()) { Caret caret = target.getCaret(); int dot = caret.getDot(); int mark = caret.getMark(); if (DefaultEditorKit.deletePrevCharAction.equals(this.getValue(Action.NAME))) { // @see javax/swing/text/DefaultEditorKit.java DeletePrevCharAction if (dot == 0 && mark == 0) { return; } } else { // @see javax/swing/text/DefaultEditorKit.java DeleteNextCharAction Document doc = target.getDocument(); if (dot == mark && doc.getLength() == dot) { return; } } } this.deleteAction.actionPerformed(e); }
try { Document doc = target.getDocument(); Caret caret = target.getCaret(); int dot = caret.getDot(); int mark = caret.getMark();
frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); ta = new JTextArea(); DefaultCaret caret = (DefaultCaret) ta.getCaret(); caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE); frame.add(new JScrollPane(ta));
txtDetails = new JTextArea(5, 50); txtDetails.setEditable(false); DefaultCaret caret = (DefaultCaret) txtDetails.getCaret(); caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE); JScrollPane scrollPane = new JScrollPane(txtDetails, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
DefaultCaret caret = (DefaultCaret) jTextArea.getCaret(); caret.setUpdatePolicy(DefaultCaret.NEVER_UPDATE);
@Override protected void moveToNewOffset(JTextComponent textComponent, int offset) throws BadLocationException { textComponent.getCaret().moveDot(offset); } }
public @Override void insertString(FilterBypass fb, int offset, String string, AttributeSet attr) throws BadLocationException { if (offset >= startOffset) { super.insertString(fb, offset, string, attr); } textComponent.getCaret().setVisible(true); // #116083 }
public boolean substituteText(JTextComponent c, int a, int b, boolean shift) { replaceText(c, "<" + baseText + (shift ? " >" : ">")); // NOI18N if (shift) { Caret caret = c.getCaret(); caret.setDot(caret.getDot() - 1); } return !shift; // flag == false; }
public boolean substituteText( JTextComponent c, int a, int b, boolean shift ) { replaceText( c, baseText + "=\"\"" ); //NOI18N if( shift ) { Caret caret = c.getCaret(); caret.setDot( caret.getDot() - 1 ); } return false; // always refresh } }
public static void checkAddEntry() { JTextComponent c = Utilities.getLastActiveComponent(); if (c != null) { checkAddEntry(c, c.getCaret().getDot()); } }
@Override public void insert(MutableContext context) throws BadLocationException { FortranBracketCompletion.INSTANCE.charInserted((BaseDocument) context.getDocument(), context.getOffset(), context.getComponent().getCaret(), context.getText().charAt(0)); }
@Override public CompletionTask createTask(int queryType, JTextComponent component) { if ((queryType & COMPLETION_QUERY_TYPE) != 0) { final int dot = component.getCaret().getDot(); return new AsyncCompletionTask(new Query(dot), component); } return null; }
@Override public CompletionTask createTask(int queryType, JTextComponent component) { if ((queryType & COMPLETION_QUERY_TYPE) != 0) { final int dot = component.getCaret().getDot(); return new AsyncCompletionTask(new Query(dot), component); } return null; }
public boolean expandString(char typedChar, String expandStr, ActionEvent evt) throws BadLocationException { if (expandString(expandStr, evt)) { if (addTypedAcceptor.accept(typedChar)) { int dotPos = editorUI.getComponent().getCaret().getDot(); editorUI.getDocument().insertString(dotPos, String.valueOf(typedChar), null); } return true; } return false; }
private void select(SelectionInfo selectionInfo) { Caret caret = target.getCaret(); markIgnoreNextCaretUpdate(); caret.setDot(selectionInfo.getStartOffset()); markIgnoreNextCaretUpdate(); caret.moveDot(selectionInfo.getEndOffset()); }
private void select(SelectionInfo selectionInfo) { Caret caret = target.getCaret(); markIgnoreNextCaretUpdate(); caret.setDot(selectionInfo.getStartOffset()); markIgnoreNextCaretUpdate(); caret.moveDot(selectionInfo.getEndOffset()); }