set pane sizes

[RobertShiplett]

PanedWindow has the interesting property of not using the widths found for the graphic when doing

{aPanedWindow.add-pane my-graphic-with-elastic-dimension}

The answer is to do

{aPanedWindow.set-pane-sizes arr-dbl-pane-stretchiness-es}

Here is a snapshot of my most recent result. The SAVE button was added after an error in another app seemed to block this app saving inside its own

{on-applet-suspend do } || which was vexing

The timestamp below is {DateTime}.info.iso-full