Fix the initially selected option, make "launcher" generic.
Chris Pressey
3 years ago
39 | 39 | var select = makeSelect(controlPanel, "example program:", examplePrograms, function(option) { |
40 | 40 | document.getElementById('prog').value = option.contents; |
41 | 41 | }); |
42 | selectOptionByText(select, "reverse0.pail"); | |
42 | selectOptionByText(select, config.initialOption); | |
43 | 43 | } |
44 | ||
45 | launch({ container: document.getElementById('installation') }); |