public void update() { model.updateAll(); }
public void updateNodeID(int nodeID) { Integer rowIndex = nodeIDToRow.get(nodeID); if (rowIndex == null) updateAll(); else fireTableRowsUpdated(rowIndex, rowIndex); }
public void update() { model.updateAll(); }
public void updateNodeID(int nodeID) { Integer rowIndex = nodeIDToRow.get(nodeID); if (rowIndex == null) updateAll(); else fireTableRowsUpdated(rowIndex, rowIndex); }