(gui, w)
| 2768 | } |
| 2769 | |
| 2770 | function setWidth(gui, w) { |
| 2771 | gui.domElement.style.width = w + 'px'; |
| 2772 | // Auto placed save-rows are position fixed, so we have to |
| 2773 | // set the width manually if we want it to bleed to the edge |
| 2774 | if (gui.__save_row && gui.autoPlace) { |
| 2775 | gui.__save_row.style.width = w + 'px'; |
| 2776 | }if (gui.__closeButton) { |
| 2777 | gui.__closeButton.style.width = w + 'px'; |
| 2778 | } |
| 2779 | } |
| 2780 | |
| 2781 | function getCurrentPreset(gui, useInitialValues) { |
| 2782 |
no outgoing calls
no test coverage detected