Method getCachedIndexFile

src/helpViewer/packages.ts:138–146

(path: string)

    // return the index file if cached, else undefined
    private getCachedIndexFile(path: string): IndexEntry[] | undefined {
        const cache = this.state.get<CachedIndexFiles>('r.helpPanel.cachedIndexFiles', []);
        const ind = cache.findIndex(v => v.path === path);
        if(ind < 0){
            return undefined;
        } else{
            return cache[ind].items;
        }
    }

    // Save a new file to the cache (or update existing entry)
    private async updateCachedIndexFile(path: string, items: IndexEntry[] | undefined): Promise<void>{