Function updateDefaultLanguageOptions

playground/src/modules/language.js:167–178

(languages)

 * @param {string[]} languages
 */
export function updateDefaultLanguageOptions(languages) {
    /**
     * @type {HTMLOptionElement[]}
     */
    const options = defaultLanguageSelect.children;

    for (const option of options) {
        option.style.display = languages.includes(option.value)
            ? ''
            : 'none';
    }
}

/**
 * @param {boolean} found