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