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…
Part of FineEnvs/MiMo-V2.6-RL-harbor-code.