public void ecrire(String s) {
JScrollBar scroll = jScrollPane1.getVerticalScrollBar();
scrollMax = scroll.getMaximum();
scrollVisible = scroll.isShowing();
if (scroll.getValue() + scroll.getVisibleAmount() == scrollMax) {
// enBas = false;
scrollAuto = true;
// scrollMax = scroll.getMaximum();
} else {
enBas = false;
scrollAuto = false;
}
HTMLDocument d = (HTMLDocument) afficheurHTML.getStyledDocument();
Element a = d.getParagraphElement(1);
// Element a=d.getElement("conversation");
try {
if (!vide) {
d.insertBeforeEnd(a, "<br />" + s);
} else {
d.insertBeforeEnd(a, s);
vide = false;
}
} catch (BadLocationException | IOException ex) {
Logger.getLogger(FenetreJeu.class.getName()).log(Level.SEVERE, null, ex);
}
/*
* if (enBas) { while (scroll.getMaximum() == scrollMax) { try {
* Thread.sleep(5);
*
*
* } catch (InterruptedException ex) {
* Logger.getLogger(FenetreJeu.class.getName()).log(Level.SEVERE, null,
* ex); } } scroll.setValue(scroll.getMaximum() -
* scroll.getVisibleAmount()); }
*/
/*
* if (jScrollPane1.getVerticalScrollBar().getValue() ==
* jScrollPane1.getVerticalScrollBar().getMaximum()) {
* afficheurHTML.setCaretPosition(afficheurHTML.getDocument().getLength());
* }
*/
// System.out.println(afficheurHTML.getText());
// System.out.println(jScrollPane1.getVerticalScrollBar().getMaximum());
}
