deprecatedLabel.setVerticalAlignment(SwingConstants.CENTER); renderingComponent = new JPanel(new OWLCellRendererLayoutManager()); renderingComponent.add(iconLabel); renderingComponent.add(textPane);
textPane.setOpaque(false); renderingComponent = new JPanel(new OWLCellRendererLayoutManager()); renderingComponent.add(iconLabel); renderingComponent.add(textPane);
public OWLCellRenderer(OWLEditorKit owlEditorKit, boolean renderExpression, boolean renderIcon) { this.owlEditorKit = owlEditorKit; this.renderExpression = renderExpression; this.renderIcon = renderIcon; this.equivalentObjects = new HashSet<>(); iconComponent.setOpaque(false); textPane = new JTextPane(); textPane.setOpaque(false); renderingComponent = new OWLCellRendererPanel(new OWLCellRendererLayoutManager()); renderingComponent.add(iconComponent); renderingComponent.add(textPane); entityColorProviders = new ArrayList<>(); OWLEntityColorProviderPluginLoader loader = new OWLEntityColorProviderPluginLoader(getOWLModelManager()); for (OWLEntityColorProviderPlugin plugin : loader.getPlugins()) { try { OWLEntityColorProvider prov = plugin.newInstance(); prov.initialise(); entityColorProviders.add(prov); } catch (Exception e) { logger.error("An error occurred whilst trying to load an OWLEntityColorProviderPlugin", e); } } crossedOutEntities = new HashSet<>(); unsatisfiableNames = new HashSet<>(); boxedNames = new HashSet<>(); prepareStyles(); setupFont(); }
OWLCellRenderer(OWLEditorKit owlEditorKit, boolean renderExpression, boolean renderIcon, OWLCellRenderer tmp) { this.owlEditorKit = owlEditorKit; this.renderExpression = renderExpression; this.renderIcon = renderIcon; this.equivalentObjects = new HashSet<>(); iconComponent.setOpaque(false); textPane = new JTextPane(); textPane.setOpaque(false); renderingComponent = new OWLCellRendererPanel(new OWLCellRendererLayoutManager()); renderingComponent.add(iconComponent); renderingComponent.add(textPane); entityColorProviders = new ArrayList<>(); OWLEntityColorProviderPluginLoader loader = new OWLEntityColorProviderPluginLoader(getOWLModelManager()); for (OWLEntityColorProviderPlugin plugin : loader.getPlugins()) { try { OWLEntityColorProvider prov = plugin.newInstance(); prov.initialise(); entityColorProviders.add(prov); } catch (Exception e) { logger.error("An error occurred whilst trying to load an OWLEntityColorProviderPlugin", e); } } crossedOutEntities = new HashSet<>(); unsatisfiableNames = new HashSet<>(); boxedNames = new HashSet<>(); prepareStyles(); setupFont(); this.tmp = tmp; }