Method removeFavorite

src/helpViewer/packages.ts:130–135

(pkgName: string)

        return [...this.favoriteNames.values()];
    }
    public removeFavorite(pkgName: string): string[] {
        this.pullFavoriteNames();
        this.favoriteNames.delete(pkgName);
        this.pushFavoriteNames();
        return [...this.favoriteNames.values()];
    }

    // return the index file if cached, else undefined
    private getCachedIndexFile(path: string): IndexEntry[] | undefined {