Allow the user to specify "length" property for selected edge(s) and spacing between nodes.

• I agree to follow the Code of Conduct that this project adheres to.
• I have searched the issue tracker for a feature request that matches the one I want to file, without success.

Is your feature request related to a problem? Please describe.

I often use AI engines to generate network diagrams of various types: flow diagrams, organization chart, concept maps, mind maps, network diagrams, tree diagrams, graph diagrams, value stream maps, argument maps, etc.

The problem with such AI-generated diagrams is that they are spaced out too much.
Draw.io can only distribute the nodes, but cannot compact them, as shown below:

The diagram shows the original diagram, and the desired compact version of it.
The middle figure shows that draw.io can only re-distribute the nodes, but cannot compact them.

This is a useful feature, and should be introduced.
It can be done in two different ways:

1. Let the user define the length of the selected edge(s).
   The shapes that are connected to these edges should get dragged to accommodate the shorter length.
2. Let the user specify the distance between selected nodes.

Both options will allow the user to expand or shrink the diagram.

Describe the solution you'd like
As described above.

Describe alternatives you've considered
As described above.

Additional context
NA.

Start by reviewing the existing node-distribution and layout functionality in the draw.io editor to understand how selected nodes and edges are handled. Define the interaction and acceptance criteria for setting edge lengths or spacing between nodes, including how connected shapes should move, then validate the behavior against the compact diagram described in the issue.