Exemplo n.º 1
0
 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);
  }
Exemplo n.º 3
0
  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();
      }
    }
  }