Java BasicHTML.updateRenderer方法代碼示例

import javax.swing.plaf.basic.BasicHTML; //導入方法依賴的package包/類
/**
 * {@inheritDoc}
 */
@Override
public void propertyChange(PropertyChangeEvent e) {
    if (SynthLookAndFeel.shouldUpdateStyle(e)) {
        updateStyle((JToolTip)e.getSource());
    }
    String name = e.getPropertyName();
    if (name.equals("tiptext") || "font".equals(name) ||
            "foreground".equals(name)) {
        // remove the old html view client property if one
        // existed, and install a new one if the text installed
        // into the JLabel is html source.
        JToolTip tip = ((JToolTip) e.getSource());
        String text = tip.getTipText();
        BasicHTML.updateRenderer(tip, text);
    }
}
 

import javax.swing.plaf.basic.BasicHTML; //導入方法依賴的package包/類
/**
 * @inheritDoc
 */
@Override
public void propertyChange(PropertyChangeEvent e) {
    if (SeaGlassLookAndFeel.shouldUpdateStyle(e)) {
        updateStyle((JToolTip) e.getSource());
    }
    String name = e.getPropertyName();
    if (name.equals("tiptext") || "font".equals(name) || "foreground".equals(name)) {
        // remove the old html view client property if one
        // existed, and install a new one if the text installed
        // into the JLabel is html source.
        JToolTip tip = ((JToolTip) e.getSource());
        String text = tip.getTipText();
        BasicHTML.updateRenderer(tip, text);
    }
}
 

import javax.swing.plaf.basic.BasicHTML; //導入方法依賴的package包/類
/**
 * @inheritDoc
 */
@Override
public void propertyChange(PropertyChangeEvent e) {
    if (SynthLookAndFeel.shouldUpdateStyle(e)) {
        updateStyle((JToolTip)e.getSource());
    }
    String name = e.getPropertyName();
    if (name.equals("tiptext") || "font".equals(name) ||
            "foreground".equals(name)) {
        // remove the old html view client property if one
        // existed, and install a new one if the text installed
        // into the JLabel is html source.
        JToolTip tip = ((JToolTip) e.getSource());
        String text = tip.getTipText();
        BasicHTML.updateRenderer(tip, text);
    }
}
 

import javax.swing.plaf.basic.BasicHTML; //導入方法依賴的package包/類
protected void showCurrentCategory() {
  if (currentCategoryComponent != null) {
    tipArea.remove(currentCategoryComponent);
  }

  int currentCategory = tipPane.getCurrentCategory();
  if (currentCategory == -1) {
    JLabel label = new JLabel();
    label.setOpaque(true);
    label.setBackground(UIManager.getColor("TextArea.background"));
    currentCategoryComponent = label;
    tipArea.add("Center", currentCategoryComponent);
    return;
  }

  // tip does not fall in current tip range
  if (tipPane.getModel() == null || tipPane.getModel().getCategoryCount() == 0
    || (currentCategory < 0 && currentCategory >= tipPane.getModel().getCategoryCount())) {
    currentCategoryComponent = new JLabel();
  } else {    
    Category tip = tipPane.getModel().getCategoryAt(currentCategory);

    Object tipObject = tip.getCategory();
    if (tipObject instanceof Component) {
      currentCategoryComponent = (Component)tipObject;
    } else if (tipObject instanceof Icon) {
      currentCategoryComponent = new JLabel((Icon)tipObject);
    } else {
      JScrollPane tipScroll = new JScrollPane();
      tipScroll.setBorder(null);
      tipScroll.setOpaque(false);
      tipScroll.getViewport().setOpaque(false);
      tipScroll.setBorder(null);

      String text = tipObject == null?"":tipObject.toString();

      if (BasicHTML.isHTMLString(text)) {
        JEditorPane editor = new JEditorPane("text/html", text);
        editor.setFont(tipPane.getFont());
        BasicHTML.updateRenderer(editor, text);
        SwingXUtilities.setHtmlFont(
                (HTMLDocument) editor.getDocument(), tipPane.getFont());
        editor.setEditable(false);
        editor.setBorder(null);
        editor.setMargin(null);
        editor.setOpaque(false);
        tipScroll.getViewport().setView(editor);
      } else {
        JTextArea area = new JTextArea(text);
        area.setFont(tipPane.getFont());
        area.setEditable(false);
        area.setLineWrap(true);
        area.setWrapStyleWord(true);
        area.setBorder(null);
        area.setMargin(null);
        area.setOpaque(false);
        tipScroll.getViewport().setView(area);
      }

      currentCategoryComponent = tipScroll;
    }
  }
  
  tipArea.add("Center", currentCategoryComponent);
  tipArea.revalidate();
  tipArea.repaint();
}