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