| 142326 | resizePadding.rank = p.rank + 1; |
| 142327 | } |
| 142328 | function resizeView(viewWidth1, viewHeight1, width2, height2, origin, auto) { |
| 142329 | this.runAfter((view)=>{ |
| 142330 | let rerun = 0; // reset autosize flag |
| 142331 | view._autosize = 0; // width value changed: update signal, skip resize op |
| 142332 | if (view.width() !== width2) { |
| 142333 | rerun = 1; |
| 142334 | view.signal(Width, width2, Skip); // set width, skip update calc |
| 142335 | view._resizeWidth.skip(true); // skip width resize handler |
| 142336 | } // height value changed: update signal, skip resize op |
| 142337 | if (view.height() !== height2) { |
| 142338 | rerun = 1; |
| 142339 | view.signal(Height, height2, Skip); // set height, skip update calc |
| 142340 | view._resizeHeight.skip(true); // skip height resize handler |
| 142341 | } // view width changed: update view property, set resize flag |
| 142342 | if (view._viewWidth !== viewWidth1) { |
| 142343 | view._resize = 1; |
| 142344 | view._viewWidth = viewWidth1; |
| 142345 | } // view height changed: update view property, set resize flag |
| 142346 | if (view._viewHeight !== viewHeight1) { |
| 142347 | view._resize = 1; |
| 142348 | view._viewHeight = viewHeight1; |
| 142349 | } // origin changed: update view property, set resize flag |
| 142350 | if (view._origin[0] !== origin[0] || view._origin[1] !== origin[1]) { |
| 142351 | view._resize = 1; |
| 142352 | view._origin = origin; |
| 142353 | } // run dataflow on width/height signal change |
| 142354 | if (rerun) view.run("enter"); |
| 142355 | if (auto) view.runAfter((v)=>v.resize()); |
| 142356 | }, false, 1); |
| 142357 | } |
| 142358 | /** |
| 142359 | * Get the current view state, consisting of signal values and/or data sets. |
| 142360 | * @param {object} [options] - Options flags indicating which state to export. |