private JPanel getHeaderPanel(Map<String, String> attributes) { JPanel headerPanel = new JPanel(new GridBagLayout()); headerPanel.setBorder(BorderFactory.createEmptyBorder(10, 0, 5, 0)); if (attributes != null) { Iterator<String> keys = attributes.keySet().iterator(); int row = 0; while (keys.hasNext()) { int fontSize = Integer.parseInt(PDFDebugger.configuration.getProperty( "headerFontSize", "" + headerPanel.getFont().getSize())); String key = keys.next(); JLabel encodingNameLabel = new JLabel(key + ": " + attributes.get(key)); encodingNameLabel.setFont(new Font(Font.DIALOG, Font.PLAIN, fontSize)); encodingNameLabel.setBorder(BorderFactory.createEmptyBorder(2, 0, 2, 0)); GridBagConstraints gbc = new GridBagConstraints(); gbc.gridx = 0; gbc.gridy = row++; gbc.weighty = 0.1; gbc.anchor = GridBagConstraints.LINE_START; headerPanel.add(encodingNameLabel, gbc); } } return headerPanel; }
public OWLClsNodeRenderer(Controller controller, VisualisedObjectManager manager, NodeLabelRenderer labelRenderer, OWLModelManager owlModelManager) { this.owlModelManager = owlModelManager; if (manager == null) { throw new NullPointerException("VisualisedObjectManager must not be null"); } if (labelRenderer == null) { throw new NullPointerException("NodeLabelRenderer must not be null"); } this.controller = controller; visualisedObjectManager = manager; JPanel pan = new JPanel(); Font font = pan.getFont(); labelFont = font.deriveFont(10.0f); if (labelFont == null) { logger.warn("Font is NULL!"); } fontMetrics = pan.getFontMetrics(labelFont); if (fontMetrics == null) { logger.warn("Font metrics is NULL!"); } setupArrows(); }
@Override public Font getDefaultFont() { return super.getFont(); }
protected void enableIdOnTitleBar() { TableLayout layout = (TableLayout) titleBar.getLayout(); layout.setColumn(0, titleBar .getFontMetrics(titleBar.getFont()) .stringWidth( resourceManager.getUserString(toolWindow.getId()) ) + 12); SwingUtil.repaint(titleBar); }
@Override public final Font getFont() { return super.getFont(); }
public java.awt.Font getFont() { return panel.getFont(); }
public Font getDefaultFont() { return super.getFont(); }
/** * Returns the heat map font. * * @return the heat map font */ public Font getHeatmapFont() { return this.font.orElse(super.getFont()); }
@ScriptFunction @Override public Font getFont() { return super.getFont(); }
@ScriptFunction(jsDoc = FONT_JSDOC) @Override public Font getFont() { return super.getFont(); }
public DefaultEdgeRenderer(Controller controller) { this.controller = controller; updateEdgeColor(); parentEdgeColor = new Color(125, 0, 125); childEdgeColor = new Color(0, 125, 0); selEdgeStroke = new BasicStroke(2, BasicStroke.CAP_ROUND, BasicStroke.JOIN_ROUND); edgeStroke = new BasicStroke(1, BasicStroke.CAP_ROUND, BasicStroke.JOIN_ROUND); JPanel pan = new JPanel(); Font font = pan.getFont(); labelFont = font.deriveFont(10.0f); }
@ScriptFunction(jsDoc = FONT_JSDOC) @Override public Font getFont() { return super.getFont(); }
@ScriptFunction(jsDoc = FONT_JSDOC) @Override public Font getFont() { return super.getFont(); }
@ScriptFunction(jsDoc = FONT_JSDOC) @Override public Font getFont() { return super.getFont(); }
@ScriptFunction(jsDoc = FONT_JSDOC) @Override public Font getFont() { return super.getFont(); }
@ScriptFunction(jsDoc = FONT_JSDOC) @Override public Font getFont() { return super.getFont(); }
@ScriptFunction @Override public Font getFont() { return super.getFont(); }
/** * Gets the font of this component. * * @return this component's font; if a font has not been set * for this component, the font of its parent is returned */ public Font getFont() { Font font = super.getFont(); if ((font == null) && (tree != null)) { // Strive to return a non-null value, otherwise the html support // will typically pick up the wrong font in certain situations. font = tree.getFont(); } return font; }
private ImageIcon getScaledIcon(ImageIcon original) { Canvas c = new Canvas(); FontMetrics fm = c.getFontMetrics(new JPanel().getFont()); int height = (int) (fm.getHeight() * 2f); int width = original.getIconWidth() / original.getIconHeight() * height; BufferedImage scaledImage; if (!scraper.isEnabled()) { scaledImage = Scalr.resize(ImageCache.createImage(original.getImage()), Scalr.Method.QUALITY, Scalr.Mode.AUTOMATIC, width, height, Scalr.OP_GRAYSCALE); } else { scaledImage = Scalr.resize(ImageCache.createImage(original.getImage()), Scalr.Method.QUALITY, Scalr.Mode.AUTOMATIC, width, height, Scalr.OP_ANTIALIAS); } return new ImageIcon(scaledImage); }
private ImageIcon getScaledIcon(ImageIcon original) { Canvas c = new Canvas(); FontMetrics fm = c.getFontMetrics(new JPanel().getFont()); int height = (int) (fm.getHeight() * 2f); int width = original.getIconWidth() / original.getIconHeight() * height; BufferedImage scaledImage; if (!scraper.isEnabled()) { scaledImage = Scalr.resize(ImageCache.createImage(original.getImage()), Scalr.Method.QUALITY, Scalr.Mode.AUTOMATIC, width, height, Scalr.OP_GRAYSCALE); } else { scaledImage = Scalr.resize(ImageCache.createImage(original.getImage()), Scalr.Method.QUALITY, Scalr.Mode.AUTOMATIC, width, height, Scalr.OP_ANTIALIAS); } return new ImageIcon(scaledImage); }