Method propertyChange

src/main/java/gate/swing/XJTextPane.java:48–55

(PropertyChangeEvent e)

  protected void initListeners(){
    addPropertyChangeListener(new PropertyChangeListener() {
      @Override
      public void propertyChange(PropertyChangeEvent e) {
        if(e.getPropertyName().equals("UI")){
          updateStyle();
        }else if(e.getPropertyName().equals("document")){
          updateStyle();
        }
      }
    });
  }