Searched refs:defaultOption (Results 1 – 3 of 3) sorted by relevance
2514 const defaultOption = document.createElement('div');2515 defaultOption.className = 'namespace-option';2516 defaultOption.textContent = '(default)';2517 defaultOption.dataset.value = '';2518 dropdown.appendChild(defaultOption);
4413 var defaultOption = defaultOptions[name]; variable4415 if (defaultOption !== undefined) {4416 return defaultOption.compatibility || defaultOption.value;4428 var defaultOption = defaultOptions[name]; variable4431 if ((kind & defaultOption.kind) === 0) {4436 var value = defaultOption.value,4449 …tions[name] = userOption !== undefined ? userOption : defaultOption.compatibility || defaultOption…
1 …defaultOption","options","valueType","pdfjsLib","__non_webpack_require__","compatibilityParams","u…