Method tableChanged

src/main/java/gate/swing/XJTable.java:939–951

Overridden for efficiency reasons (provides a better calculation of the dirty region). See this page for a more complete discussion.

(TableModelEvent e)

   * for a more complete discussion. 
   */
  @Override
  public void tableChanged(TableModelEvent e) {
    //if just an update, and not a data or structure changed event or an insert or delete, use the fixed row update handling
    //otherwise call super.tableChanged to let the standard JTable update handling manage it
    if ( e != null &&
        e.getType() == TableModelEvent.UPDATE &&
        e.getFirstRow() != TableModelEvent.HEADER_ROW &&
        e.getLastRow() != Integer.MAX_VALUE) {
        handleRowUpdate(e);
    } else {
        super.tableChanged(e);
    }
  }

  /**
   * This borrows most of the logic from the superclass handling of update