private boolean hasFontSizeChanged() { int currentSize = OWLRendererPreferences.getInstance().getFontSize(); if(currentSize != lastFontSize) { lastFontSize = currentSize; return true; } return false; }
private boolean hasFontSizeChanged() { int currentSize = OWLRendererPreferences.getInstance().getFontSize(); if(currentSize != lastFontSize) { lastFontSize = currentSize; return true; } return false; }
private boolean hasFontSizeChanged() { int currentSize = OWLRendererPreferences.getInstance().getFontSize(); if(currentSize != lastFontSize) { lastFontSize = currentSize; return true; } return false; } }
protected int getFontSize() { return OWLRendererPreferences.getInstance().getFontSize(); }
protected int getFontSize() { return OWLRendererPreferences.getInstance().getFontSize(); }
protected int getFontSize() { return OWLRendererPreferences.getInstance().getFontSize(); }
protected int getFontSize() { return OWLRendererPreferences.getInstance().getFontSize(); }
private Paragraph(AttributedString paragraphText, List<LinkSpan> linkSpans) { this.paragraphText = paragraphText; this.linkSpans.addAll(linkSpans); computePlainString(); int fontSize = OWLRendererPreferences.getInstance().getFontSize(); setSize(fontSize); }
public void paintButtonContent(Graphics2D g) { int w = getBounds().width; int h = getBounds().height; int x = getBounds().x; int y = getBounds().y; Font font = g.getFont().deriveFont(Font.BOLD, OWLRendererPreferences.getInstance().getFontSize()); g.setFont(font); FontMetrics fontMetrics = g.getFontMetrics(font); final Rectangle stringBounds = fontMetrics.getStringBounds(ANNOTATE_STRING, g).getBounds(); int baseline = fontMetrics.getLeading() + fontMetrics.getAscent(); g.drawString(ANNOTATE_STRING, x + w / 2 - stringBounds.width / 2, y + (h - stringBounds.height) / 2 + baseline ); // if (annotationPresent) { // g.drawOval(x + 2, y + 2, w - 4, h - 4); // } g.setFont(font); }
public void paintButtonContent(Graphics2D g) { int w = getBounds().width; int h = getBounds().height; int x = getBounds().x; int y = getBounds().y; Font font = g.getFont().deriveFont(Font.BOLD, OWLRendererPreferences.getInstance().getFontSize()); g.setFont(font); FontMetrics fontMetrics = g.getFontMetrics(font); final Rectangle stringBounds = fontMetrics.getStringBounds(ANNOTATE_STRING, g).getBounds(); int baseline = fontMetrics.getLeading() + fontMetrics.getAscent(); g.drawString(ANNOTATE_STRING, x + w / 2 - stringBounds.width / 2, y + (h - stringBounds.height) / 2 + baseline ); // if (annotationPresent) { // g.drawOval(x + 2, y + 2, w - 4, h - 4); // } g.setFont(font); }
public void paintButtonContent(Graphics2D g) { int w = getBounds().width; int h = getBounds().height; int x = getBounds().x; int y = getBounds().y; Font font = g.getFont().deriveFont(Font.BOLD, OWLRendererPreferences.getInstance().getFontSize()); g.setFont(font); FontMetrics fontMetrics = g.getFontMetrics(font); final Rectangle stringBounds = fontMetrics.getStringBounds(ANNOTATE_STRING, g).getBounds(); int baseline = fontMetrics.getLeading() + fontMetrics.getAscent(); g.drawString(ANNOTATE_STRING, x + w / 2 - stringBounds.width / 2, y + (h - stringBounds.height) / 2 + baseline ); // if (annotationPresent) { // g.drawOval(x + 2, y + 2, w - 4, h - 4); // } g.setFont(font); }
protected int getSize() { int size; int fontSize = OWLRendererPreferences.getInstance().getFontSize(); int idealSize = fontSize + getPadding() * 2; if(sizeBias.equals(SizeBias.EVEN)) { size = (idealSize / 2) * 2; } else { size = (idealSize / 2) * 2 + 1; } return size; }
private Paragraph(AttributedString paragraphText, List<LinkSpan> linkSpans) { this.paragraphText = paragraphText; Font font = OWLRendererPreferences.getInstance().getFont(); this.paragraphText.addAttribute(TextAttribute.FAMILY, font.getFamily()); this.linkSpans.addAll(linkSpans); computePlainString(); int fontSize = OWLRendererPreferences.getInstance().getFontSize(); setSize(fontSize); }
private Paragraph(AttributedString paragraphText, List<LinkSpan> linkSpans) { this.paragraphText = paragraphText; Font font = OWLRendererPreferences.getInstance().getFont(); this.paragraphText.addAttribute(TextAttribute.FAMILY, font.getFamily()); this.linkSpans.addAll(linkSpans); computePlainString(); int fontSize = OWLRendererPreferences.getInstance().getFontSize(); setSize(fontSize); }
public void refreshComponents(Component component) { if (component instanceof Container) { Container cont = (Container) component; for (Component childComp : cont.getComponents()) { refreshComponents(childComp); } } if (isComponentFontSizeSensitive(component)) { Font f = component.getFont(); if (f != null) { component.setFont(f.deriveFont(f.getStyle(), OWLRendererPreferences.getInstance().getFontSize())); } } if (component instanceof RefreshableComponent) { ((RefreshableComponent) component).refreshComponent(); } }
fontSizePanel.setLayout(man); fontSizePanel.setBorder(ComponentFactory.createTitledBorder("Font")); fontSizeSpinner = new JSpinner(new SpinnerNumberModel(prefs.getFontSize(), 1, 120, 1)); fontSizePanel.add("Font size", fontSizeSpinner); GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment();
fontSizePanel.setLayout(man); fontSizePanel.setBorder(ComponentFactory.createTitledBorder("Font")); fontSizeSpinner = new JSpinner(new SpinnerNumberModel(prefs.getFontSize(), 1, 120, 1)); fontSizePanel.add("Font size", fontSizeSpinner); GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment();
/** * Draw the icon at the specified location. Icon implementations * may use the Component argument to get properties useful for * painting, e.g. the foreground or background color. */ public void paintIcon(Component c, Graphics g, int x, int y) { int xOffset = x + getPadding(); int yOffset = y + getPadding(); int width = getIconWidth() - 2 * getPadding(); int height = getIconHeight() - 2 * getPadding(); Graphics2D g2 = (Graphics2D) g; g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON); Color oldColor = g2.getColor(); g2.setColor(Color.GRAY); int fillHeight = 2 * height / 3; int y1 = yOffset + height / 6 + OWLRendererPreferences.getInstance().getFontSize() / 10; g2.fillRoundRect(xOffset, y1, width, fillHeight, 4, 4); g2.setColor(iconColor); g2.fillRoundRect(xOffset + 1, y1 + 1, width - 2, fillHeight - 2, 4, 4); g2.setColor(oldColor); } }
public void initialise() throws Exception { setLayout(new BorderLayout()); PreferencesLayoutPanel layoutPanel = new PreferencesLayoutPanel(); add(layoutPanel, BorderLayout.NORTH); createRendererSelectionPanel(layoutPanel); layoutPanel.addSeparator(); layoutPanel.addGroup("Appearance"); OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); highlightAOStatementsCheckBox = new JCheckBox("Highlight active ontology statements", prefs.isHighlightActiveOntologyStatements()); showHyperlinksCheckBox = new JCheckBox("Show hyperlinks in components that support them", prefs.isRenderHyperlinks()); highlightKeyWordsCheckBox = new JCheckBox("Highlight keywords", prefs.isHighlightKeyWords()); layoutPanel.addGroupComponent(highlightAOStatementsCheckBox); layoutPanel.addGroupComponent(showHyperlinksCheckBox); layoutPanel.addGroupComponent(highlightKeyWordsCheckBox); layoutPanel.addSeparator(); layoutPanel.addGroup("Font size"); fontSizeSpinner = new JSpinner(new SpinnerNumberModel(prefs.getFontSize(), 1, 120, 1)); layoutPanel.addGroupComponent(fontSizeSpinner); JButton resetFontSizeButton = new JButton("Reset font"); resetFontSizeButton.addActionListener(e -> resetFont()); layoutPanel.addIndentedGroupComponent(resetFontSizeButton); }
public void initialise() throws Exception { setLayout(new BorderLayout()); PreferencesLayoutPanel layoutPanel = new PreferencesLayoutPanel(); add(layoutPanel, BorderLayout.NORTH); createRendererSelectionPanel(layoutPanel); layoutPanel.addSeparator(); layoutPanel.addGroup("Appearance"); OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); highlightAOStatementsCheckBox = new JCheckBox("Highlight active ontology statements", prefs.isHighlightActiveOntologyStatements()); showHyperlinksCheckBox = new JCheckBox("Show hyperlinks in components that support them", prefs.isRenderHyperlinks()); highlightKeyWordsCheckBox = new JCheckBox("Highlight keywords", prefs.isHighlightKeyWords()); layoutPanel.addGroupComponent(highlightAOStatementsCheckBox); layoutPanel.addGroupComponent(showHyperlinksCheckBox); layoutPanel.addGroupComponent(highlightKeyWordsCheckBox); layoutPanel.addSeparator(); layoutPanel.addGroup("Font size"); fontSizeSpinner = new JSpinner(new SpinnerNumberModel(prefs.getFontSize(), 1, 120, 1)); layoutPanel.addGroupComponent(fontSizeSpinner); JButton resetFontSizeButton = new JButton("Reset font"); resetFontSizeButton.addActionListener(e -> resetFont()); layoutPanel.addIndentedGroupComponent(resetFontSizeButton); }