/** * Adjusts the caret location based on the MouseEvent. */ private void adjustCaret(MouseEvent e) { if ((e.getModifiers()&ActionEvent.SHIFT_MASK)!=0 && getDot()!=-1) { moveCaret(e); } else { positionCaret(e); } }
textArea.getDocument().getText(getDot(),1, seg); Font font = textArea.getFont(); FontMetrics fm = textArea.getFontMetrics(font);
g.setColor(textArea.getCaretColor()); TextUI mapper = textArea.getUI(); Rectangle r = mapper.modelToView(textArea, getDot());
if (rsta.isCodeFoldingEnabled()) { int lastDot = getDot(); FoldManager fm = rsta.getFoldManager(); int line = 0;
/** * Adjusts the caret location based on the MouseEvent. */ private void adjustCaret(MouseEvent e) { if ((e.getModifiers()&ActionEvent.SHIFT_MASK)!=0 && getDot()!=-1) moveCaret(e); else positionCaret(e); }
/** * Adjusts the caret location based on the MouseEvent. */ private void adjustCaret(MouseEvent e) { if ((e.getModifiers()&ActionEvent.SHIFT_MASK)!=0 && getDot()!=-1) { moveCaret(e); } else { positionCaret(e); } }
/** * Adjusts the caret location based on the MouseEvent. */ private void adjustCaret(MouseEvent e) { if ((e.getModifiers()&ActionEvent.SHIFT_MASK)!=0 && getDot()!=-1) moveCaret(e); else positionCaret(e); }
textArea.getDocument().getText(getDot(),1, seg); Font font = textArea.getFont(); FontMetrics fm = textArea.getFontMetrics(font);
textArea.getDocument().getText(getDot(),1, seg); Font font = textArea.getFont(); FontMetrics fm = textArea.getFontMetrics(font);
textArea.getDocument().getText(getDot(),1, seg); Font font = textArea.getFont(); FontMetrics fm = textArea.getFontMetrics(font);
g.setColor(textArea.getCaretColor()); TextUI mapper = textArea.getUI(); Rectangle r = mapper.modelToView(textArea, getDot());
g.setColor(textArea.getCaretColor()); TextUI mapper = textArea.getUI(); Rectangle r = mapper.modelToView(textArea, getDot());
/** * Sets whether the edges of selections are rounded in this text area. * This method fires a property change of type * {@link #ROUNDED_SELECTION_PROPERTY}. * * @param rounded Whether selection edges should be rounded. * @see #getRoundedSelectionEdges() */ public void setRoundedSelectionEdges(boolean rounded) { if (roundedSelectionEdges!=rounded) { roundedSelectionEdges = rounded; ConfigurableCaret cc = (ConfigurableCaret)getCaret(); cc.setRoundedSelectionEdges(rounded); if (cc.getDot()!=cc.getMark()) { // ie, if there is a selection repaint(); } firePropertyChange(ROUNDED_SELECTION_PROPERTY, !rounded, rounded); } }
/** * Sets whether the edges of selections are rounded in this text area. * This method fires a property change of type * {@link #ROUNDED_SELECTION_PROPERTY}. * * @param rounded Whether selection edges should be rounded. * @see #getRoundedSelectionEdges() */ public void setRoundedSelectionEdges(boolean rounded) { if (roundedSelectionEdges!=rounded) { roundedSelectionEdges = rounded; ConfigurableCaret cc = (ConfigurableCaret)getCaret(); cc.setRoundedSelectionEdges(rounded); if (cc.getDot()!=cc.getMark()) { // ie, if there is a selection repaint(); } firePropertyChange(ROUNDED_SELECTION_PROPERTY, !rounded, rounded); } }
g.setColor(textArea.getCaretColor()); TextUI mapper = textArea.getUI(); Rectangle r = mapper.modelToView(textArea, getDot());
if (rsta.isCodeFoldingEnabled()) { int lastDot = getDot(); FoldManager fm = rsta.getFoldManager(); int line = 0;