protected synchronized void damage(Rectangle r) { if (r != null) { JTextComponent component = getComponent(); x = r.x; y = r.y; Font font = component.getFont(); width = component.getFontMetrics(font).charWidth('w'); height = r.height; repaint(); } } }
@Override public Font getEditorFont() { return se_response.getEditorComponent().getFont(); }
FontMetrics fontMetrics = component.getFontMetrics(component.getFont()); Insets insets = getInsets(); int availableWidth = getSize().width - insets.left - insets.right;
@Override public Font getEditorFont() { return se_req_body.getEditorComponent().getFont(); }
@Override protected void paint(Graphics g, Rectangle rect, JTextComponent c) { g.setColor(color); FontMetrics fm = c.getFontMetrics(c.getFont()); int baseline = rect.y + rect.height - fm.getDescent() + 1; g.drawLine(rect.x, baseline, rect.x + rect.width, baseline); } }
/** * Create a line number component for a text component. * * @param component the related text component * @param minimumDisplayDigits the number of digits used to calculate * the minimum width of the component */ public TextLineNumber(JTextComponent component, int minimumDisplayDigits) { this.component = component; setFont(component.getFont()); setBorderGap(5); setCurrentLineForeground(Color.RED); setDigitAlignment(RIGHT); setMinimumDisplayDigits(minimumDisplayDigits); component.getDocument().addDocumentListener(this); component.addCaretListener(this); component.addPropertyChangeListener("font", this); }
protected void paint(Graphics g, Rectangle rect, JTextComponent c) { Font f = c.getFont(); FontMetrics fm = c.getFontMetrics(f); int y = rect.y - 1 + fm.getAscent(); g.setFont(f); g.setColor(color); g.drawString(symbol, rect.x, y); } }
default void drawPlaceholder(JTextComponent textComponent, Graphics g, String placeholderText) { int w = textComponent.getWidth(); ((Graphics2D) g).setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); Insets ins = textComponent.getInsets(); FontMetrics fm = g.getFontMetrics(); int c0 = textComponent.getBackground().getRGB(); int c1 = textComponent.getForeground().getRGB(); int m = 0xfefefefe; int c2 = ((c0 & m) >>> 1) + ((c1 & m) >>> 1); g.setColor(new Color(c2, true)); g.setFont(textComponent.getFont().deriveFont(Font.ITALIC)); g.drawString( placeholderText, textComponent.getComponentOrientation() == ComponentOrientation.RIGHT_TO_LEFT ? w - (fm.stringWidth(placeholderText) + ins.left + 2) : ins.left + 2, fm.getAscent() + 2 ); }
@Override protected void paint(Graphics g, Rectangle rect, JTextComponent c) { g.setColor(color); FontMetrics fm = c.getFontMetrics(c.getFont()); int baseline = rect.y + rect.height - fm.getDescent() + 1; g.drawLine(rect.x, baseline, rect.x + rect.width, baseline); g.drawLine(rect.x, baseline + 1, rect.x + rect.width, baseline + 1); } }
g.setFont(font!=null ? font : textComponent.getFont());
protected synchronized void damage(Rectangle r) { if (r != null) { JTextComponent component = getComponent(); x = r.x; y = r.y; Font font = component.getFont(); width = component.getFontMetrics(font).charWidth('w'); height = r.height; repaint(); } } }
public FontFallbackListener(final JTextComponent comp) { defaultFont = comp.getFont(); comp.addPropertyChangeListener("font", evt -> { if (evt.getNewValue() != null && !evt.getNewValue().equals(evt.getOldValue())) { defaultFont = (Font) evt.getNewValue(); Document doc = comp.getDocument(); doStyling(doc, 0, doc.getLength()); } }); }
void mouseClicked(JTextComponent c, Point p) { Point position = new Point(p); position.y += c.getFontMetrics(c.getFont()).getHeight(); SwingUtilities.convertPointToScreen(position, c); performGoToAction(position); }
private void updateCursor( MouseEvent e ) { //noinspection deprecation FontMetrics fm = getToolkit().getFontMetrics( _editor.getFont() ); int iLineHeight = fm.getHeight(); if( _lineInfoMgr != null ) { setCursor( _lineInfoMgr.getCursor( (e.getY() - 2) / iLineHeight + 1 ) ); } } }
protected synchronized void damage(Rectangle r) { if (r != null) { JTextComponent component = getComponent(); x = r.x; y = r.y; Font font = component.getFont(); width = component.getFontMetrics(font).charWidth('w'); height = r.height; repaint(); } } }
private void updateCursor( MouseEvent e ) { //noinspection deprecation FontMetrics fm = getToolkit().getFontMetrics( _editor.getFont() ); int iLineHeight = fm.getHeight(); if( _lineInfoMgr != null ) { setCursor( _lineInfoMgr.getCursor( (e.getY() - 2) / iLineHeight + 1 ) ); } } }
protected synchronized void damage(Rectangle r) { if (r != null) { JTextComponent component = getComponent(); x = r.x; y = r.y; Font font = component.getFont(); width = component.getFontMetrics(font).charWidth('w'); height = r.height; repaint(); } } }
@Override public Dimension getPreferredSize() { Dimension dim = new Dimension(); dim.height = _editor.getHeight(); FontMetrics fm = _editor.getFontMetrics( _editor.getFont() ); dim.width = fm.stringWidth( String.valueOf( dim.height / fm.getHeight() + 1 ) ); dim.width = Math.max( dim.width, GosuEditor.MIN_LINENUMBER_WIDTH ); dim.width += getLineInfoRequiredWidth(); return dim; }
protected synchronized void damage(Rectangle r) { if (r != null) { JTextComponent component = getComponent(); x = r.x; y = r.y; Font font = component.getFont(); width = component.getFontMetrics(font).charWidth('w'); height = r.height; repaint(); } } }
protected synchronized void damage(Rectangle r) { if (r != null) { JTextComponent component = getComponent(); x = r.x; y = r.y; Font font = component.getFont(); width = component.getFontMetrics(font).charWidth('w'); height = r.height; repaint(); } } }