Modify a portal in realtime

[admin]

With the portal tool activated
A selected portal can be modified via different keys:

- total width
- pillar width
- length
- top thickness
- top height

Horizontal measures are always changed on both sides (symmetrically around the center point).