public LinkLabel(String text, ActionListener linkListener) { super(text); this.linkListener = linkListener; linkColor = PropertyUtil.getColor(ProtegeProperties.getInstance().getProperty(ProtegeProperties.PROPERTY_COLOR_KEY), Color.GRAY); hoverColor = PropertyUtil.getColor(ProtegeProperties.getInstance().getProperty(ProtegeProperties.CLASS_COLOR_KEY), Color.GRAY); setForeground(linkColor); addMouseListener(new MouseAdapter() { public void mouseEntered(MouseEvent e) { setHoverMode(true); } public void mouseExited(MouseEvent e) { setHoverMode(false); } public void mouseReleased(MouseEvent e) { activateLink(); } }); setFont(getFont().deriveFont(Font.BOLD, 12.0f)); }
public LinkLabel(String text, ActionListener linkListener) { super(text); this.linkListener = linkListener; linkColor = PropertyUtil.getColor(ProtegeProperties.getInstance().getProperty(ProtegeProperties.PROPERTY_COLOR_KEY), Color.GRAY); hoverColor = PropertyUtil.getColor(ProtegeProperties.getInstance().getProperty(ProtegeProperties.CLASS_COLOR_KEY), Color.GRAY); setForeground(linkColor); addMouseListener(new MouseAdapter() { public void mouseEntered(MouseEvent e) { setHoverMode(true); } public void mouseExited(MouseEvent e) { setHoverMode(false); } public void mouseReleased(MouseEvent e) { activateLink(); } }); setFont(getFont().deriveFont(Font.BOLD, 12.0f)); }