Method propertyChange

src/main/java/gate/swing/JTreeTable.java:98–105

(PropertyChangeEvent e)

    getColumnModel().getColumn(0).addPropertyChangeListener(new PropertyChangeListener() {
      @Override
      public void propertyChange(PropertyChangeEvent e) {
        if(e.getPropertyName().equals("width")){
          int width = ((Number)e.getNewValue()).intValue();
          int height = tree.getSize().height;
          tree.setSize(width, height);
        }
      }
    });
  }