| export let language = ["en", "zh"]; |
| export let removeDefaultStopWordFilter = false; |
| export let removeDefaultStemmer = false; |
| export const searchIndexUrl = "search-index.json?_=abc"; |
| export const searchResultLimits = 8; |
| export const searchResultContextMaxLength = 50; |
| export const explicitSearchResultPath = false; |
| export const docsPluginIdForPreferredVersion = undefined; |
| export const indexDocs = true; |
| |
| export function __setLanguage(value: string[]): void { |
| language = value; |
| } |
| |
| export function __setRemoveDefaultStopWordFilter(value: boolean): void { |
| removeDefaultStopWordFilter = value; |
| } |
| |
| export function __setRemoveDefaultStemmer(value: boolean): void { |
| removeDefaultStemmer = value; |
| } |
