(gui, w)
| 1353 | } |
| 1354 | |
| 1355 | function setWidth(gui, w) { |
| 1356 | gui.domElement.style.width = w + 'px'; |
| 1357 | // Auto placed save-rows are position fixed, so we have to |
| 1358 | // set the width manually if we want it to bleed to the edge |
| 1359 | if (gui.__save_row && gui.autoPlace) { |
| 1360 | gui.__save_row.style.width = w + 'px'; |
| 1361 | } |
| 1362 | if (gui.__closeButton) { |
| 1363 | gui.__closeButton.style.width = w + 'px'; |
| 1364 | } |
| 1365 | } |
| 1366 | |
| 1367 | function getCurrentPreset(gui, useInitialValues) { |
| 1368 | const toReturn = {}; |