Is your feature request related to a problem? Please describe.
As mentioned in #4217 by @bjorn
There should be a resize tool as a native world tool to resize maps quickly interactively.
Describe the solution you'd like.
Just as there is a World move tool, worldmovemaptool, there should be a map resize tool.
Describe alternatives you've considered.
No response
Is your feature request related to a problem? Please describe.
As mentioned in #4217 by @bjorn
There should be a resize tool as a native world tool to resize maps quickly interactively.
Describe the solution you'd like.
Just as there is a World move tool, worldmovemaptool, there should be a map resize tool.
Describe alternatives you've considered.
No response