| 169 | } |
| 170 | |
| 171 | private onConfigNameChanged(): void { |
| 172 | if (this.updating) { |
| 173 | return; |
| 174 | } |
| 175 | |
| 176 | const configName: HTMLInputElement = <HTMLInputElement>document.getElementById(elementId.configName); |
| 177 | const list: HTMLSelectElement = <HTMLSelectElement>document.getElementById(elementId.configSelection); |
| 178 | |
| 179 | if (configName.value === "") { |
| 180 | (<HTMLInputElement>document.getElementById(elementId.configName)).value = list.options[list.selectedIndex].value; |
| 181 | return; |
| 182 | } |
| 183 | |
| 184 | // Update name on selection |
| 185 | list.options[list.selectedIndex].value = configName.value; |
| 186 | list.options[list.selectedIndex].text = configName.value; |
| 187 | |
| 188 | this.onChanged(elementId.configName); |
| 189 | } |
| 190 | |
| 191 | private onConfigSelect(): void { |
| 192 | if (this.updating) { |