コード例 #1
0
  public boolean startDragging(MouseEvent mouseEvent) {

    // Get the mouse position and the component of the mouse event.
    Component mouseComponent = (Component) mouseEvent.getSource();
    int x = mouseEvent.getX();
    int y = mouseEvent.getY();

    // Reset the fields.
    reset();

    // Initialize the fields for docking.

    // Get the origin dock.
    originDock = (LeafDock) SwingUtilities.getAncestorOfClass(LeafDock.class, mouseComponent);
    if (originDock != null) {
      // Control that the dragged dockable belongs to this dock.
      if (originDock.containsDockable(draggedDockable)) {
        // Calculate the dockable offset.
        dockableOffset.setLocation(x, y);
        dockableOffset =
            SwingUtilities.convertPoint(
                mouseComponent, dockableOffset, draggedDockable.getContent());

        // We could find a dockable for dragging.
        return true;
      }
    }

    // We could not find a dockable for dragging.
    return false;
  }
コード例 #2
0
  /** Adds a drag listener on the content component of a dockable. */
  private void createDockableDragger(Dockable dockable) {

    // Create the dragger for the dockable.
    DragListener dragListener =
        DockingManager.getDockableDragListenerFactory().createDragListener(dockable);
    dockable.getContent().addMouseListener(dragListener);
    dockable.getContent().addMouseMotionListener(dragListener);
  }
コード例 #3
0
  /**
   * Creates a docking path for the given dockable. It contains the information how the dockable is
   * docked now. The docking path is added to the docking path model of the docking manager.
   *
   * @param dockable The dockable for which a docking path has to be created.
   * @return The docking path model. Null if the dockable is not docked.
   */
  private DockingPath addDockingPath(Dockable dockable) {

    if (dockable.getDock() != null) {
      // Create the docking path of the dockable.
      DockingPath dockingPath = DefaultDockingPath.createDockingPath(dockable);
      DockingManager.getDockingPathModel().add(dockingPath);
      return dockingPath;
    }

    return null;
  }
コード例 #4
0
  /**
   * Resets the cursor. Cleans up what was painted before. Searches a destination dock for the last
   * mouse location and tries to dock the dragged dockable in this dock.
   */
  public void stopDragging(MouseEvent mouseEvent) {

    // Reset the old cursor.
    cursorManager.resetCursor();

    // Clean up what was painted for dragging.
    dockableDragPainter.clear();

    // Get the mouse location in screen coordinates.
    computeScreenLocation(mouseEvent);

    // Do we have to move an externalized dockable?
    if (draggedDockable.getState() == DockableState.EXTERNALIZED) {
      // Move the dockable.
      ExternalizedDraggerSupport.moveExternalizedDockable(
          draggedDockable, screenLocation, dockableOffset);

      // No dragging anymore.
      reset();

      return;
    }

    // Get the destination dock.
    Dock[] destinationDocks =
        dockRetriever.retrieveHighestPriorityDock(screenLocation, draggedDockable);
    if (destinationDocks == null) {
      return;
    }
    Dock destinationDock = destinationDocks[0];

    // Is the destination dock different from the origin?
    if (destinationDock != null) {
      if (!destinationDock.equals(originDock)) {
        // Get the mouse location for the new dock.
        locationInDestinationDock.setLocation(screenLocation.x, screenLocation.y);
        if (destinationDock instanceof Component) {
          SwingUtilities.convertPointFromScreen(
              locationInDestinationDock, (Component) destinationDock);
        }

        // Check if we can move the dock of the dockable in the float dock.
        if (destinationDock instanceof FloatDock) {
          // Get the root dock and the dock under the root.
          Dock rootDock = originDock;
          Dock dockUnderRoot = null;
          while (rootDock.getParentDock() != null) {
            dockUnderRoot = rootDock;
            rootDock = rootDock.getParentDock();
          }

          // Is the root dock the float dock?
          if (rootDock instanceof FloatDock) {
            // Is the dockable already in this dock and are there no others?
            List childrenOfDockable = new ArrayList();
            List childrenOfDock = new ArrayList();
            DockingUtil.retrieveDockables(draggedDockable, childrenOfDockable);
            DockingUtil.retrieveDockables(dockUnderRoot, childrenOfDock);
            if (sameElements(childrenOfDockable, childrenOfDock)) {
              ((FloatDock) rootDock)
                  .moveDock(dockUnderRoot, locationInDestinationDock, dockableOffset);
              return;
            }
          }
        }

        // Get the real dockable in the model with this ID.
        Dockable dockableWrapper = DockingUtil.retrieveDockableOfDockModel(draggedDockable.getID());
        if (dockableWrapper == null) {
          throw new IllegalStateException(
              "The dragged dockable should be docked in the dock model.");
        }

        // Remove the dockable from the old dock, add to the new dock.
        // Use the docking manager for the addition and removal, because the listenenrs have to
        // informed.
        if (!originDock.equals(draggedDockable.getDock())) {
          throw new IllegalStateException("The origin dock is not the parent of the dockable.");
        }
        DockingManager.getDockingExecutor()
            .changeDocking(
                dockableWrapper, destinationDock, locationInDestinationDock, dockableOffset);

        // Clean the dock from which the dockable is removed.
        DockingManager.getDockingExecutor().cleanDock(originDock, false);

      } else {
        // Get the real dockable in the model with this ID.
        Dockable dockableWrapper = DockingUtil.retrieveDockableOfDockModel(draggedDockable.getID());
        if (dockableWrapper == null) {
          throw new IllegalStateException(
              "The dragged dockable should be docked in the dock model.");
        }

        // Move the dockable to a new position in the same dock.
        if (!originDock.equals(draggedDockable.getDock())) {
          throw new IllegalStateException("The origin dock is not the parent of the dockable.");
        }
        DockingManager.getDockingExecutor()
            .changeDocking(dockableWrapper, originDock, locationInDestinationDock, new Point(0, 0));
      }
    }

    // No dragging anymore.
    reset();
  }
コード例 #5
0
  /**
   * Searches the dock where the dockable will be docked for the current mouse location. A rectangle
   * is painted that shows, where the dockable will be docked. The cursor shows, if we can dock, or
   * if we cannot dock for the current location.
   */
  public void drag(MouseEvent mouseEvent) {

    // Get the component of the mouse event.
    Component mouseComponent = (Component) mouseEvent.getSource();

    // Get the mouse location in screen coordinates.
    computeScreenLocation(mouseEvent);

    // Do we have to move an externalized dockable?
    if (draggedDockable.getState() == DockableState.EXTERNALIZED) {
      // Move the dockable.
      ExternalizedDraggerSupport.moveExternalizedDockable(
          draggedDockable, screenLocation, dockableOffset);
      return;
    }

    // Get the destination dock for this position for the dockable that we are dragging.
    Dock[] destinationDocks =
        dockRetriever.retrieveHighestPriorityDock(screenLocation, draggedDockable);
    if (destinationDocks == null) {
      // We have no destination dock any more. Clean up what was painted before.
      clearPainting();

      // Set the 'cannot dock' cursor.
      cursorManager.setCursor(mouseComponent, retrieveCanNotDockCursor());

      return;
    }
    Dock destinationDock = destinationDocks[0];

    // Do we have a destination dock?
    if (destinationDock != null) {

      // Does the destination dock inherit from java.awt.Component or is it the float dock?
      if (destinationDock instanceof Component) {

        // Get the docking rectangle for the destination dock.
        locationInDestinationDock.setLocation(screenLocation.x, screenLocation.y);
        SwingUtilities.convertPointFromScreen(
            locationInDestinationDock, (Component) destinationDock);
        destinationDock.retrieveDockingRectangle(
            draggedDockable, locationInDestinationDock, dockableOffset, dockableDragRectangle);

        // Paint the new rectangle.
        dockableDragPainter.paintDockableDrag(
            draggedDockable, destinationDock, dockableDragRectangle, locationInDestinationDock);

        // Set the 'can dock' cursor.
        cursorManager.setCursor((Component) destinationDock, retrieveCanDockCursor());

      } else if (destinationDock instanceof FloatDock) {

        // Are we in the special situation that we will move a child dock of the float dock?
        boolean move = false;

        // Get the root dock and the dock under the root.
        Dock rootDock = originDock;
        Dock dockUnderRoot = null;
        while (rootDock.getParentDock() != null) {
          dockUnderRoot = rootDock;
          rootDock = rootDock.getParentDock();
        }

        // Is the root dock the float dock?
        if (rootDock instanceof FloatDock) {
          // Is the dockable already in this dock and are there no others?
          List childrenOfDockable = new ArrayList();
          List childrenOfDock = new ArrayList();
          DockingUtil.retrieveDockables(draggedDockable, childrenOfDockable);
          DockingUtil.retrieveDockables(dockUnderRoot, childrenOfDock);
          if (sameElements(childrenOfDockable, childrenOfDock)) {
            move = true;
          }
        }

        // We cannot paint on the screen, but maybe we can paint in the pane of the origin dock.
        if (originDock instanceof Component) {
          if (move) {
            locationInDestinationDock.setLocation(
                screenLocation.x - dockableOffset.x, screenLocation.y - dockableOffset.y);
            SwingUtilities.convertPointFromScreen(
                locationInDestinationDock, (Component) originDock);
            dockableDragRectangle.setLocation(locationInDestinationDock);
            Window window = SwingUtilities.getWindowAncestor((Component) dockUnderRoot);
            dockableDragRectangle.setSize(window.getSize());
            locationInDestinationDock.setLocation(
                locationInDestinationDock.x + dockableOffset.x,
                locationInDestinationDock.y + dockableOffset.y);
          } else {
            // Get the docking rectangle for the destination float dock.
            destinationDock.retrieveDockingRectangle(
                draggedDockable, screenLocation, dockableOffset, dockableDragRectangle);

            // Convert this rectangle to the origindock.
            locationInDestinationDock.setLocation(dockableDragRectangle.x, dockableDragRectangle.y);
            SwingUtilities.convertPointFromScreen(
                locationInDestinationDock, (Component) originDock);
            dockableDragRectangle.setLocation(locationInDestinationDock);
            locationInDestinationDock.setLocation(
                locationInDestinationDock.x + dockableOffset.x,
                locationInDestinationDock.y + dockableOffset.y);
          }
          // Paint the new rectangle.
          dockableDragPainter.paintDockableDrag(
              draggedDockable, originDock, dockableDragRectangle, locationInDestinationDock);
        } else {
          // We couldn't find a dock where we can paint.
          clearPainting();
        }

        // Set the 'can dock' cursor.
        cursorManager.setCursor(mouseComponent, retrieveCanDockCursor());

      } else {
        // Currentle this should not happen. All docks, except the float dock inherit from
        // java.awt.Component.
        // We have a dock where we cannot paint. Clean up what was painted before.
        clearPainting();

        // Set the 'can dock' cursor.
        cursorManager.setCursor(mouseComponent, retrieveCanDockCursor());
      }

    } else {
      // We have no destination dock any more. Clean up what was paintedbefore.
      clearPainting();

      // Set the 'cannot dock' cursor.
      cursorManager.setCursor(mouseComponent, retrieveCanNotDockCursor());
    }
  }