HF RL Explorer

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-oss: Agentic RL Environments (MiMo RL release). On an existing tui.Grid, I need SetColumnStretch(col int, stretch int) and SetRowStretch(row int, stretch int). A stretch value…

The task

On an existing tui.Grid, I need SetColumnStretch(col int, stretch int) and SetRowStretch(row int, stretch int). 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…

Part of XiaomiMiMo/MiMo-V2.6-RL-oss.