(windows, height, y0)
| 530 | let needRelayout = false; |
| 531 | |
| 532 | function mosh(windows, height, y0) { |
| 533 | let targetHeights = fitProportionally( |
| 534 | windows.map(mw => mw.get_frame_rect().height), |
| 535 | height |
| 536 | ); |
| 537 | let [, relayout, y] = space.layoutColumnSimple(windows, x, y0, targetWidth, targetHeights, time); |
| 538 | needRelayout = needRelayout || relayout; |
| 539 | return y; |
| 540 | } |
| 541 | |
| 542 | const k = column.indexOf(grabWindow); |
| 543 | if (k < 0) { |
nothing calls this directly
no test coverage detected