_edited = true;
}
// Change the given row in the table
private void _changeRow(int row, TargetDesc target) {
WorldCoords pos = target.getCoordinates();
DefaultTableModel model = (DefaultTableModel) _w.table.getModel();
model.setValueAt(target.getName(), row, NAME_COL);
model.setValueAt(pos.getRA().toString(), row, RA_COL);
model.setValueAt(pos.getDec().toString(), row, DEC_COL);
model.setValueAt(target.getDescription(), row, DESCRIPTION_COL);
model.setValueAt(target.getPriority(), row, PRIORITY_COL);
model.setValueAt(target.getCategory(), row, CATEGORY_COL);
_edited = true;
}