@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { ((RSyntaxTextArea)textArea).copyAsStyledText(theme); textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { textArea.cut(); textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { textArea.copy(); textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { textArea.paste(); textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (!textArea.isEditable() || !textArea.isEnabled()) { UIManager.getLookAndFeel().provideErrorFeedback(textArea); return; } String selection = textArea.getSelectedText(); if (selection!=null) { StringBuilder buffer = new StringBuilder(selection); int length = buffer.length(); for (int i=0; i<length; i++) { char c = buffer.charAt(i); if (Character.isUpperCase(c)) { buffer.setCharAt(i, Character.toLowerCase(c)); } else if (Character.isLowerCase(c)) { buffer.setCharAt(i, Character.toUpperCase(c)); } } textArea.replaceSelection(buffer.toString()); } textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (textArea.isEnabled() && textArea.isEditable()) { textArea.undoLastAction(); textArea.requestFocusInWindow(); } }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (textArea.isEnabled() && textArea.isEditable()) { textArea.redoLastAction(); textArea.requestFocusInWindow(); } }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (!textArea.isEditable() || !textArea.isEnabled()) { UIManager.getLookAndFeel().provideErrorFeedback(textArea); return; } String selection = textArea.getSelectedText(); if (selection!=null) { textArea.replaceSelection(selection.toLowerCase()); } textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (!textArea.isEditable() || !textArea.isEnabled()) { UIManager.getLookAndFeel().provideErrorFeedback(textArea); return; } String selection = textArea.getSelectedText(); if (selection!=null) { textArea.replaceSelection(selection.toUpperCase()); } textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { Font font = textArea.getFont(); float oldSize = font.getSize2D(); float newSize = oldSize + increaseAmount; if (newSize<=MAXIMUM_SIZE) { // Grow by increaseAmount. font = font.deriveFont(newSize); textArea.setFont(font); } else if (oldSize<MAXIMUM_SIZE) { // Can't grow by full increaseAmount, but can grow a // little bit. font = font.deriveFont(MAXIMUM_SIZE); textArea.setFont(font); } else { // Our font size must be at or bigger than MAXIMUM_SIZE. UIManager.getLookAndFeel().provideErrorFeedback(textArea); } textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { Font font = textArea.getFont(); float oldSize = font.getSize2D(); float newSize = oldSize - decreaseAmount; if (newSize>=MINIMUM_SIZE) { // Shrink by decreaseAmount. font = font.deriveFont(newSize); textArea.setFont(font); } else if (oldSize>MINIMUM_SIZE) { // Can't shrink by full decreaseAmount, but can shrink a // little bit. font = font.deriveFont(MINIMUM_SIZE); textArea.setFont(font); } else { // Our font size must be at or below MINIMUM_SIZE. UIManager.getLookAndFeel().provideErrorFeedback(textArea); } textArea.requestFocusInWindow(); }
/** * Adjusts the focus, if necessary. * * @param inWindow if true indicates requestFocusInWindow should be used */ private void adjustFocus(boolean inWindow) { RTextArea textArea = getTextArea(); if ((textArea != null) && textArea.isEnabled() && textArea.isRequestFocusEnabled()) { if (inWindow) { textArea.requestFocusInWindow(); } else { textArea.requestFocus(); } } }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (!textArea.isEditable() || !textArea.isEnabled()) { UIManager.getLookAndFeel().provideErrorFeedback(textArea); return; } try { Caret c = textArea.getCaret(); int caretPos = c.getDot(); Document doc = textArea.getDocument(); Element map = doc.getDefaultRootElement(); int lineCount = map.getElementCount(); int line = map.getElementIndex(caretPos); if (line==lineCount-1) { UIManager.getLookAndFeel(). provideErrorFeedback(textArea); return; } Element lineElem = map.getElement(line); caretPos = lineElem.getEndOffset() - 1; c.setDot(caretPos); // Gets rid of any selection. doc.remove(caretPos, 1); // Should be '\n'. } catch (BadLocationException ble) { /* Shouldn't ever happen. */ ble.printStackTrace(); } textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { textArea.copy(); textArea.requestFocusInWindow(); }
public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (!textArea.isEditable() || !textArea.isEnabled()) { UIManager.getLookAndFeel().provideErrorFeedback(textArea); return; } String selection = textArea.getSelectedText(); if (selection!=null) textArea.replaceSelection(selection.toLowerCase()); textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (!textArea.isEditable() || !textArea.isEnabled()) { UIManager.getLookAndFeel().provideErrorFeedback(textArea); return; } String selection = textArea.getSelectedText(); if (selection!=null) { textArea.replaceSelection(selection.toLowerCase()); } textArea.requestFocusInWindow(); }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (textArea.isEnabled() && textArea.isEditable()) { textArea.redoLastAction(); textArea.requestFocusInWindow(); } }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (textArea.isEnabled() && textArea.isEditable()) { textArea.undoLastAction(); textArea.requestFocusInWindow(); } }
@Override public void actionPerformedImpl(ActionEvent e, RTextArea textArea) { if (!textArea.isEditable() || !textArea.isEnabled()) { UIManager.getLookAndFeel().provideErrorFeedback(textArea); return; } String selection = textArea.getSelectedText(); if (selection!=null) { textArea.replaceSelection(selection.toUpperCase()); } textArea.requestFocusInWindow(); }