(selector: JQuery, option: string)
| 502 | } |
| 503 | |
| 504 | private selectorHasOption(selector: JQuery, option: string): boolean { |
| 505 | return selector.children(`[value=${option}]`).length > 0; |
| 506 | } |
| 507 | |
| 508 | private onThemeChange() { |
| 509 | // We can be called when: |