(gui)
| 2818 | } |
| 2819 | |
| 2820 | function setPresetSelectIndex(gui) { |
| 2821 | for (var index = 0; index < gui.__preset_select.length; index++) { |
| 2822 | if (gui.__preset_select[index].value == gui.preset) { |
| 2823 | gui.__preset_select.selectedIndex = index; |
| 2824 | } |
| 2825 | } |
| 2826 | } |
| 2827 | |
| 2828 | function markPresetModified(gui, modified) { |
| 2829 | var opt = gui.__preset_select[gui.__preset_select.selectedIndex]; |