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