(gui, modified)
| 2824 | } |
| 2825 | |
| 2826 | function markPresetModified(gui, modified) { |
| 2827 | var opt = gui.__preset_select[gui.__preset_select.selectedIndex]; |
| 2828 | // console.log('mark', modified, opt); |
| 2829 | if (modified) { |
| 2830 | opt.innerHTML = opt.value + "*"; |
| 2831 | } else { |
| 2832 | opt.innerHTML = opt.value; |
| 2833 | } |
| 2834 | } |
| 2835 | |
| 2836 | function updateDisplays(controllerArray) { |
| 2837 |
no outgoing calls
no test coverage detected