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); } }