private void setupFonts() { Font sysFont = OWLRendererPreferences.getInstance().getFont(); if(!plainFont.equals(sysFont)) { plainFont = sysFont; boldFont = plainFont.deriveFont(Font.BOLD); } }
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 void setupFont() { plainFont = OWLRendererPreferences.getInstance().getFont(); boldFont = plainFont.deriveFont(Font.BOLD); textPane.setFont(plainFont); }
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 void setupFont() { plainFont = OWLRendererPreferences.getInstance().getFont(); boldFont = plainFont.deriveFont(Font.BOLD); textPane.setFont(plainFont); }
private void setupFont() { plainFont = OWLRendererPreferences.getInstance().getFont(); plainFontHeight = iconLabel.getFontMetrics(plainFont).getHeight(); boldFont = plainFont.deriveFont(Font.BOLD); textPane.setFont(plainFont); }
private void setupFont() { plainFont = OWLRendererPreferences.getInstance().getFont(); plainFontHeight = iconLabel.getFontMetrics(plainFont).getHeight(); boldFont = plainFont.deriveFont(Font.BOLD); textPane.setFont(plainFont); }
public void refreshComponent() { setFont(OWLRendererPreferences.getInstance().getFont()); }
private void prepareRenderer(JLabel label, Object value) { final Font font = OWLRendererPreferences.getInstance().getFont(); label.setFont(font); setText(value, label); setIcon(value, label); boldIfNecessary(value, label); if (value == null){ // so that null does not render with no height label.setPreferredSize(new Dimension(label.getPreferredSize().width, label.getFontMetrics(font).getHeight())); } }
private void prepareRenderer(JLabel label, Object value) { final Font font = OWLRendererPreferences.getInstance().getFont(); label.setFont(font); setText(value, label); setIcon(value, label); boldIfNecessary(value, label); if (value == null){ // so that null does not render with no height label.setPreferredSize(new Dimension(label.getPreferredSize().width, label.getFontMetrics(font).getHeight())); } }
public void refreshComponent() { setFont(OWLRendererPreferences.getInstance().getFont()); }
private void prepareRenderer(JLabel label, Object value) { final Font font = OWLRendererPreferences.getInstance().getFont(); label.setFont(font); setText(value, label); setIcon(value, label); boldIfNecessary(value, label); if (value == null){ // so that null does not render with no height label.setPreferredSize(new Dimension(label.getPreferredSize().width, label.getFontMetrics(font).getHeight())); } }
private void prepareRenderer(JLabel label, Object value) { final Font font = OWLRendererPreferences.getInstance().getFont(); label.setFont(font); setText(value, label); setIcon(value, label); boldIfNecessary(value, label); if (value == null){ // so that null does not render with no height label.setPreferredSize(new Dimension(label.getPreferredSize().width, label.getFontMetrics(font).getHeight())); } }
public void refreshComponent() { setFont(OWLRendererPreferences.getInstance().getFont()); }
public void refreshComponent() { setFont(OWLRendererPreferences.getInstance().getFont()); }
private void setData(Collection<SearchResult> results) { model.setResultList(results); setupColumnRenderers(); Font font = OWLRendererPreferences.getInstance().getFont(); resultsTable.setFont(font); resultsTable.setAutoResizeMode(JTable.AUTO_RESIZE_LAST_COLUMN); int rowHeight = font.getSize() + 4; resultsTable.setRowHeight(rowHeight); for (int i = 1; i < model.getRowCount(); i++) { if (isHeaderRow(i)) { resultsTable.setRowHeight(i, rowHeight + HEADER_SPACING); } } if (resultsTable.getModel().getRowCount() > 0) { resultsTable.getSelectionModel().setSelectionInterval(0, 0); } }
private void resetStyles(StyledDocument doc) { doc.setParagraphAttributes(0, doc.getLength(), plainStyle, true); StyleConstants.setFontSize(fontSizeStyle, getFontSize()); Font f = OWLRendererPreferences.getInstance().getFont(); StyleConstants.setFontFamily(fontSizeStyle, f.getFamily()); doc.setParagraphAttributes(0, doc.getLength(), fontSizeStyle, false); setupFont(); }
private void resetStyles(StyledDocument doc) { doc.setParagraphAttributes(0, doc.getLength(), plainStyle, true); StyleConstants.setFontSize(fontSizeStyle, getFontSize()); Font f = OWLRendererPreferences.getInstance().getFont(); StyleConstants.setFontFamily(fontSizeStyle, f.getFamily()); doc.setParagraphAttributes(0, doc.getLength(), fontSizeStyle, false); setupFont(); }
private void resetStyles(StyledDocument doc) { doc.setParagraphAttributes(0, doc.getLength(), plainStyle, true); StyleConstants.setFontSize(fontSizeStyle, getFontSize()); Font f = OWLRendererPreferences.getInstance().getFont(); StyleConstants.setFontFamily(fontSizeStyle, f.getFamily()); doc.setParagraphAttributes(0, doc.getLength(), fontSizeStyle, false); setupFont(); }
private void resetStyles(StyledDocument doc) { doc.setParagraphAttributes(0, doc.getLength(), plainStyle, true); StyleConstants.setFontSize(fontSizeStyle, getFontSize()); Font f = OWLRendererPreferences.getInstance().getFont(); StyleConstants.setFontFamily(fontSizeStyle, f.getFamily()); doc.setParagraphAttributes(0, doc.getLength(), fontSizeStyle, false); setupFont(); }