private void updateWithoutTrace(GeoElement geo) {
GPoint location = geo.getSpreadsheetCoords();
if (location != null
&& location.x < app.getMaxSpreadsheetColumnsVisible()
&& location.y < app.getMaxSpreadsheetRowsVisible()) {
highestUsedColumn = Math.max(highestUsedColumn, location.x);
highestUsedRow = Math.max(highestUsedRow, location.y);
if (location.y >= getRowCount()) {
setRowCount(location.y + 1);
}
if (location.x >= getColumnCount()) {
// table.setMyColumnCount(location.x + 1);
// JViewport cH = spreadsheet.getColumnHeader();
// bugfix: double-click to load ggb file gives cH = null
// if (cH != null) cH.revalidate();
}
setValueAt(geo, location.y, location.x);
/*
* DONE ELSEWHERE // add tracing geos to the trace collection if
* (!isIniting && geo.getSpreadsheetTrace()) {
* app.getTraceManager().addSpreadsheetTraceGeo(geo); }
*/
}
}
public void remove(GeoElement geo) {
GPoint location = geo.getSpreadsheetCoords();
if (location != null) {
doRemove(geo, location.y, location.x);
cellRangeManager.updateCellRangeAlgos(geo, location, true);
}
}
private void addToCellRangeAlgos(GeoElement geo) {
GPoint location = geo.getSpreadsheetCoords();
if (location != null) {
cellRangeManager.addToCellRangeAlgos(geo, location);
}
}
