1 2 3 4 5 6 7 8 9 10 11 12 13
| HTMLDocument documentHTML = new HTMLDocument();
JEditorPane editeur = new JEditorPane();
editeur.setContentType("text/html");
editeur .addComponentListener(new java.awt.event.ComponentAdapter() {
public void componentResized(java.awt.event.ComponentEvent evt) {
jEditorPane1ComponentResized(evt);
}
});
editeur.read(new FileInputStream(fichier html), documentHTML);
BufferedImage imgTmp = new BufferedImage(editeur.getPreferredSize().width, editeur.getPreferredSize().height, BufferedImage.TYPE_INT_RGB);
editeur.setSize(editeur.getPreferredSize().width, editeur.getPreferredSize().height);
Graphics2D surface = imgTmp.createGraphics();
editeur.paint(surface); |
Partager