protected void checkIfAllLoaded() {
imagesLoaded++;
if (imagesLoaded == externalImageSrcs.size()) {
try {
myXMLio.processXMLString(construction, true, false);
if (!app.isFullAppGui()) {
app.afterLoadFile();
} else {
app.afterLoadAppFile();
}
} catch (Exception e) {
e.printStackTrace();
}
}
}
/** *********************************************** Constructor */
public SpreadsheetMouseListenerW(AppW app, MyTableW table) {
this.app = app;
this.kernel = app.getKernel();
this.table = table;
this.view = (SpreadsheetViewW) table.getView();
this.model = table.getModel();
this.editor = table.editor;
this.relativeCopy = new RelativeCopy(kernel);
}
public InputDialogAngleFixed(
AppW app,
String title,
InputHandler handler,
GeoSegment[] segments,
GeoPoint[] points,
GeoElement[] selGeos,
Kernel kernel) {
super(app, app.getPlain("Angle"), title, defaultRotateAngle, false, handler, false);
geoPoint1 = points[0];
this.segments = segments;
this.points = points;
this.selGeos = selGeos;
this.kernel = kernel;
this.inputPanel.getTextComponent().getTextField().addKeyUpHandler(this);
}
public void onMouseMove(MouseMoveEvent e) {
GPoint p = table.getIndexFromPixel(e.getClientX(), e.getClientY());
if (p.getY() == 0 && p.getX() > 0) {
table.scc.onMouseMove(e);
return;
} else if (p.getX() == 0 && p.getY() > 0) {
table.srh.onMouseMove(e);
return;
}
e.preventDefault();
boolean eConsumed = false;
// TODO: move the content of the mouseMoved method here
// DRAG
if (mouseIsDown) {
if (table.getTableMode() == MyTable.TABLE_MODE_AUTOFUNCTION
|| table.getTableMode() == MyTable.TABLE_MODE_DROP) {
// System.out.println("drop is dragging ");
return;
}
// handle editing mode drag
if (editor.isEditing()) {
GPoint point = table.getIndexFromPixel(e.getClientX(), e.getClientY());
if (point != null && selectedCellName != null) {
int column2 = point.getX() - 1;
int row2 = point.getY() - 1;
MatchResult matcher = GeoElementSpreadsheet.spreadsheetPattern.exec(selectedCellName);
int column1 = GeoElementSpreadsheet.getSpreadsheetColumn(matcher);
int row1 = GeoElementSpreadsheet.getSpreadsheetRow(matcher);
if (column1 > column2) {
int temp = column1;
column1 = column2;
column2 = temp;
}
if (row1 > row2) {
int temp = row1;
row1 = row2;
row2 = temp;
}
String name1 = GeoElementSpreadsheet.getSpreadsheetCellName(column1, row1);
String name2 = GeoElementSpreadsheet.getSpreadsheetCellName(column2, row2);
if (!name1.equals(name2)) {
name1 += ":" + name2;
}
name1 = prefix0 + name1 + postfix0;
editor.setLabel(name1);
table.minColumn2 = column1;
table.maxColumn2 = column2;
table.minRow2 = row1;
table.maxRow2 = row2;
table.repaint();
}
return;
}
// handle dot drag
if (table.isDragingDot) {
eConsumed = true;
int mouseX = e.getClientX();
int mouseY = e.getClientY();
GPoint mouseCell = table.getIndexFromPixel(mouseX, mouseY);
// save the selected cell position so it can be re-selected if
// needed
CellRange oldSelection = table.getSelectedCellRanges().get(0);
if (mouseCell == null) { // user has dragged outside the table, to
// left or above
table.dragingToRow = -1;
table.dragingToColumn = -1;
} else {
table.dragingToRow = mouseCell.getY();
table.dragingToColumn = mouseCell.getX();
GRectangle selRect = table.getSelectionRect(true);
// increase size if we're at the bottom of the spreadsheet
if (table.dragingToRow + 1 == table.getRowCount()
&& table.dragingToRow < Kernel.MAX_SPREADSHEET_ROWS) {
model.setRowCount(table.getRowCount() + 1);
}
// increase size if we go beyond the right edge
if (table.dragingToColumn + 1 == table.getColumnCount()
&& table.dragingToColumn < Kernel.MAX_SPREADSHEET_COLUMNS) {
model.setColumnCount(table.getColumnCount() + 1);
view.columnHeaderRevalidate();
// Java's addColumn method will clear selection, so
// re-select our cell
table.setSelection(oldSelection);
}
// scroll to show "highest" selected cell
// TODO//table.scrollRectToVisible(table.getCellRect(mouseCell.y, mouseCell.x, true));
if (!selRect.contains(e.getClientX(), e.getClientY())) {
int rowOffset = 0, colOffset = 0;
// get row distance
if (table.minSelectionRow > 0 && table.dragingToRow < table.minSelectionRow) {
rowOffset = mouseY - (int) selRect.getY();
if (-rowOffset
< 0.5
* table
.getCellRect(table.minSelectionRow - 1, table.minSelectionColumn, true)
.getHeight()) rowOffset = 0;
} else if (table.maxSelectionRow < Kernel.MAX_SPREADSHEET_ROWS
&& table.dragingToRow > table.maxSelectionRow) {
rowOffset = mouseY - ((int) selRect.getY() + (int) selRect.getHeight());
if (rowOffset
< 0.5
* table
.getCellRect(table.maxSelectionRow + 1, table.maxSelectionColumn, true)
.getHeight()) rowOffset = 0;
}
// get column distance
if (table.minSelectionColumn > 0 && table.dragingToColumn < table.minSelectionColumn) {
colOffset = mouseX - (int) selRect.getX();
if (-colOffset
< 0.5
* table
.getCellRect(table.minSelectionRow, table.minSelectionColumn - 1, true)
.getWidth()) colOffset = 0;
} else if (table.maxSelectionColumn < Kernel.MAX_SPREADSHEET_COLUMNS
&& table.dragingToColumn > table.maxSelectionColumn) {
colOffset = mouseX - ((int) selRect.getX() + (int) selRect.getWidth());
if (colOffset
< 0.5
* table
.getCellRect(table.maxSelectionRow, table.maxSelectionColumn + 1, true)
.getWidth()) colOffset = 0;
}
if (rowOffset == 0 && colOffset == 0) {
table.dragingToColumn = -1;
table.dragingToRow = -1;
} else if (Math.abs(rowOffset) > Math.abs(colOffset)) {
table.dragingToRow = mouseCell.y;
table.dragingToColumn =
(colOffset > 0) ? table.maxSelectionColumn : table.minSelectionColumn;
} else {
table.dragingToColumn = mouseCell.x;
table.dragingToRow = (rowOffset > 0) ? table.maxSelectionRow : table.minSelectionRow;
}
table.repaint();
}
// handle ctrl-select dragging of cell blocks
else {
/*TODO if (e.isControlDown()) {
table.handleControlDragSelect(e);
}*/
}
}
}
if (eConsumed) return;
// MyTable's default listeners follow, they should be simulated in Web e.g. here
// change selection if right click is outside current selection
if (p.getY() != table.leadSelectionRow + 1 || p.getX() != table.leadSelectionColumn + 1) {
// switch to cell selection mode
if (p.getY() > 0 && p.getX() > 0) {
if (table.getSelectionType() != MyTable.CELL_SELECT) {
table.setSelectionType(MyTable.CELL_SELECT);
}
// now change the selection
table.changeSelection(p.getY() - 1, p.getX() - 1, false, true);
table.repaint();
}
}
} else {
// MOVE, NO DRAG
if (table.isEditing()) return;
// get GeoElement at mouse location
int row = p.getY(); // ?//table.rowAtPoint(e.getPoint());
int col = p.getX(); // ?//table.columnAtPoint(e.getPoint());
GeoElement geo = (GeoElement) model.getValueAt(row - 1, col - 1);
// set tooltip with geo's description
if (geo != null & view.getAllowToolTips()) {
app.setTooltipFlag();
// TODO//table.setToolTipText(geo.getLongDescriptionHTML(true, true));
app.clearTooltipFlag();
} else {
// TODO//table.setToolTipText(null);
}
// check if over the dragging dot and update accordingly
GPoint maxPoint = table.getMaxSelectionPixel();
GPoint minPoint = table.getMinSelectionPixel();
if (maxPoint != null) {
int dotX = maxPoint.getX();
int dotY = maxPoint.getY();
int s = MyTableW.DOT_SIZE + 2;
GRectangle2DW dotRect = new GRectangle2DW(dotX - s / 2, dotY - s / 2, s, s);
boolean overDot = dotRect.contains(e.getClientX(), e.getClientY());
if (table.isOverDot != overDot) {
table.isOverDot = overDot;
// TODO//setTableCursor();
table.repaint();
}
}
// check if over the DnD region and update accordingly
GPoint testPoint = table.getMinSelectionPixel();
if (testPoint != null) {
int minX = minPoint.getX();
int minY = minPoint.getY();
int maxX = maxPoint.getX();
int w = maxX - minX;
GRectangle2DW dndRect = new GRectangle2DW(minX, minY - 2, w, 4);
boolean overDnD = dndRect.contains(e.getClientX(), e.getClientY());
if (table.isOverDnDRegion != overDnD) {
table.isOverDnDRegion = overDnD;
// TODO//setTableCursor();
}
}
}
}
public void onMouseUp(MouseUpEvent e) {
GPoint p = table.getIndexFromPixel(e.getClientX(), e.getClientY());
if (p.getY() == 0 && p.getX() > 0) {
if (table.isEditing()) editor.cancelCellEditing();
table.scc.onMouseUp(e);
return;
} else if (p.getX() == 0 && p.getY() > 0) {
if (table.isEditing()) editor.cancelCellEditing();
table.srh.onMouseUp(e);
return;
}
mouseIsDown = false;
e.preventDefault();
boolean eConsumed = false;
boolean rightClick = (e.getNativeButton() == NativeEvent.BUTTON_RIGHT);
if (table.getTableMode() == MyTable.TABLE_MODE_AUTOFUNCTION) {
table.stopAutoFunction();
return;
}
if (!rightClick) {
if (editor.isEditing()) {
String text = editor.getEditingValue();
if (text.startsWith("=")) {
GPoint point = table.getIndexFromPixel(e.getClientX(), e.getClientY());
if (point != null) {
int column = point.getX();
int row = point.getY();
if (column != editor.column || row != editor.row) {
eConsumed = true;
}
}
}
selectedCellName = null;
prefix0 = null;
postfix0 = null;
table.isDragging2 = false;
table.repaint();
}
if (table.isOverDot) {
// prevent UI manager from changing selection when mouse
// is in a neighbor cell but is still over the dot region
eConsumed = true;
}
if (table.isDragingDot) {
if (table.dragingToColumn == -1 || table.dragingToRow == -1) return;
int x1 = -1;
int y1 = -1;
int x2 = -1;
int y2 = -1;
// -|1|-
// 2|-|3
// -|4|-
if (table.dragingToColumn < table.minSelectionColumn) { // 2
x1 = table.dragingToColumn;
y1 = table.minSelectionRow;
x2 = table.minSelectionColumn - 1;
y2 = table.maxSelectionRow;
} else if (table.dragingToRow > table.maxSelectionRow) { // 4
x1 = table.minSelectionColumn;
y1 = table.maxSelectionRow + 1;
x2 = table.maxSelectionColumn;
y2 = table.dragingToRow;
} else if (table.dragingToRow < table.minSelectionRow) { // 1
x1 = table.minSelectionColumn;
y1 = table.dragingToRow;
x2 = table.maxSelectionColumn;
y2 = table.minSelectionRow - 1;
} else if (table.dragingToColumn > table.maxSelectionColumn) { // 3
x1 = table.maxSelectionColumn + 1;
y1 = table.minSelectionRow;
x2 = table.dragingToColumn;
y2 = table.maxSelectionRow;
}
// copy the cells
boolean succ =
relativeCopy.doDragCopy(
table.minSelectionColumn - 1,
table.minSelectionRow - 1,
table.maxSelectionColumn - 1,
table.maxSelectionRow - 1,
x1 - 1,
y1 - 1,
x2 - 1,
y2 - 1);
if (succ) {
app.storeUndoInfo();
}
// extend the selection to include the drag copy selection
table.setSelection(
Math.min(x1, table.minSelectionColumn) - 1,
Math.min(y1, table.minSelectionRow) - 1,
Math.max(x2, table.maxSelectionColumn) - 1,
Math.max(y2, table.maxSelectionRow) - 1);
// reset flags and cursor
table.isOverDot = false;
table.isDragingDot = false;
table.dragingToRow = -1;
table.dragingToColumn = -1;
// TODO//setTableCursor();
// prevent UI manager from changing selection
eConsumed = true;
table.repaint();
}
}
// Alt click: copy definition to input field
if (!table.isEditing() && e.isAltKeyDown() && app.showAlgebraInput()) {
int row = p.getY(); // table.rowAtPoint(e.getPoint());
int col = p.getX(); // table.columnAtPoint(e.getPoint());
GeoElement geo = (GeoElement) model.getValueAt(row - 1, col - 1);
if (geo != null) {
// F3 key: copy definition to input bar
app.getGlobalKeyDispatcher().handleFunctionKeyForAlgebraInput(3, geo);
return;
}
}
// handle right click
if (rightClick) {
if (!((AppW) kernel.getApplication()).letShowPopupMenu()) return;
// change selection if right click is outside current selection
if (p.getY() < table.minSelectionRow
|| p.getY() > table.maxSelectionRow
|| p.getX() < table.minSelectionColumn
|| p.getX() > table.maxSelectionColumn) {
// switch to cell selection mode
if (table.getSelectionType() != MyTable.CELL_SELECT) {
table.setSelectionType(MyTable.CELL_SELECT);
}
// now change the selection
if (p.getX() > 0 && p.getY() > 0)
table.changeSelection(p.getY() - 1, p.getX() - 1, false, false);
}
// create and show context menu
/*TODO SpreadsheetContextMenu popupMenu = new SpreadsheetContextMenu(
table, e.isShiftDown());
popupMenu.show(e.getComponent(), e.getX(), e.getY());*/
}
if (eConsumed) return;
// MyTable's default listeners follow, they should be simulated in Web e.g. here
// change selection if right click is outside current selection
if (p.getY() != table.leadSelectionRow + 1 || p.getX() != table.leadSelectionColumn + 1) {
// switch to cell selection mode
if (p.getY() > 0 && p.getX() > 0) {
if (table.getSelectionType() != MyTable.CELL_SELECT) {
table.setSelectionType(MyTable.CELL_SELECT);
}
// now change the selection
table.changeSelection(p.getY() - 1, p.getX() - 1, false, true);
table.repaint();
}
}
}
public void onMouseDown(MouseDownEvent e) {
GPoint p = table.getIndexFromPixel(e.getClientX(), e.getClientY());
if (p.getY() == 0 && p.getX() > 0) {
if (table.isEditing()) editor.cancelCellEditing();
table.scc.onMouseDown(e);
return;
} else if (p.getX() == 0 && p.getY() > 0) {
if (table.isEditing()) editor.cancelCellEditing();
table.srh.onMouseDown(e);
return;
}
// if (!view.hasViewFocus())
// ((LayoutW) app.getGuiManager().getLayout()).getDockManager()
// .setFocusedPanel(App.VIEW_SPREADSHEET);
view.requestFocus();
mouseIsDown = true;
e.preventDefault();
boolean eConsumed = false;
boolean rightClick = (e.getNativeButton() == NativeEvent.BUTTON_RIGHT);
// tell selection listener about click on GeoElement
if (!rightClick && app.getMode() == EuclidianConstants.MODE_SELECTION_LISTENER) {
int row = p.getY(); // ?//table.rowAtPoint(e.getPoint());
int col = p.getX(); // ?//table.columnAtPoint(e.getPoint());
GeoElement geo = (GeoElement) model.getValueAt(row - 1, col - 1);
// double click or empty geo
if (geo != null) {
// tell selection listener about click
app.geoElementSelected(geo, false);
return;
}
}
if (!rightClick) {
// memory testing
// Application.debug("", true, true, 0);
if (table.getSelectionType() != MyTable.CELL_SELECT) {
table.setSelectionType(MyTable.CELL_SELECT);
}
// force column selection
if (view.isColumnSelect()) {
GPoint point = table.getIndexFromPixel(e.getClientX(), e.getClientY());
if (point != null) {
int column = point.getX();
table.setColumnSelectionInterval(column, column);
}
}
/*
* if (MyTable.this.getSelectionModel().getSelectionMode() !=
* ListSelectionModel.SINGLE_INTERVAL_SELECTION) {
* setSelectionMode(ListSelectionModel.SINGLE_INTERVAL_SELECTION);
* setColumnSelectionAllowed(true); setRowSelectionAllowed(true); }
*/
GPoint point1 = table.getMaxSelectionPixel();
if (point1 == null) return;
// Handle click in another cell while editing a cell:
// if the edit string begins with "=" then the clicked cell name
// is inserted into the edit text
if (editor.isEditing()) {
String text = editor.getEditingValue();
if (text.startsWith("=")) {
GPoint point = table.getIndexFromPixel(e.getClientX(), e.getClientY());
if (point != null && (point.getX() != editor.column || point.getY() != editor.row)) {
// in Web, it's necessary to distinguish the editor row and column
// because the event is not catched and not taken by the textfield
int column = point.getX();
int row = point.getY();
GeoElement geo = RelativeCopy.getValue(app, column - 1, row - 1);
if (geo != null) {
// get cell name
String name = GeoElementSpreadsheet.getSpreadsheetCellName(column - 1, row - 1);
if (geo.isGeoFunction()) name += "(x)";
selectedCellName = name;
// get prefix/post substrings for current text caret
// position
int caretPos = editor.getCaretPosition();
prefix0 = text.substring(0, caretPos);
postfix0 = text.substring(caretPos, text.length());
table.isDragging2 = true;
table.minColumn2 = column;
table.maxColumn2 = column;
table.minRow2 = row;
table.maxRow2 = row;
// insert the geo label into the editor string
editor.addLabel(name);
eConsumed = true;
table.repaint();
}
eConsumed = true;
}
} else {
// if text does not start with "=" then stop the editor
// and allow it to create/redefine a geo here
editor.setAllowProcessGeo(true);
editor.stopCellEditing();
editor.setAllowProcessGeo(false);
table.finishEditing();
// almost like MyCellEditorW.stopCellEditing(int,int)
}
} else if (table.isOverDot) {
table.isDragingDot = true;
eConsumed = true;
}
}
if (eConsumed) return;
// MyTable's default listeners follow, they should be simulated in Web e.g. here
// change selection if right click is outside current selection
if (p.getY() != table.anchorSelectionRow + 1 || p.getX() != table.anchorSelectionColumn + 1) {
// switch to cell selection mode
if (p.getY() > 0 && p.getX() > 0) {
if (table.getSelectionType() != MyTable.CELL_SELECT) {
table.setSelectionType(MyTable.CELL_SELECT);
}
// now change the selection
table.changeSelection(p.getY() - 1, p.getX() - 1, false, false);
table.repaint();
}
}
}
