protected void styleChanged(Style style){
  if (getLength() != 0) {
    if (updateRunnable == null) {
      updateRunnable=new ChangeUpdateRunnable();
    }
synchronized (updateRunnable) {
      if (!updateRunnable.isPending) {
        SwingUtilities.invokeLater(updateRunnable);
        updateRunnable.isPending=true;
      }
    }
  }
}

protected void styleChanged ( Style style ) { if ( getLength ( ) != 0 ) { if ( updateRunnable == null ) { updateRunnable = new ChangeUpdateRunnable ( ) ; } synchronized ( updateRunnable ) { if ( ! updateRunnable . isPending ) { SwingUtilities . invokeLater ( updateRunnable ) ; updateRunnable . isPending = true ; } } } }
called when any of this document ' s styles have changed . subclasses may wish to be intelligent about what gets damaged .
