I want grid widgets to let me assign stretch factors to rows and columns after creating a grid.
I want grid widgets to let me assign stretch factors to rows and columns after creating a grid.: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). A stretch value greater than zero means that row or column is eligible to receive extra space on that axis, and multiple…
The task
A stretch value greater than zero means that row or column is eligible to receive extra space on that axis, and multiple positive stretch factors divide remaining space by repeated factor increments. For example, a bordered 3-column, 1-row grid resized to 24x3 with SetColumnStretch(0, 1), SetColumnStretch(1, 2), and…
Part of FineEnvs/MiMo-V2.6-RL-harbor-code.