adjustDivider
Adjusts a single divider, and alters other dividers using a heuristic.
The same heuristic is used when dragging dividers with the mouse.
You may set Divider.positions directly, if you prefer full control over the positions.