feat: restart file button in 'fetch cache for focused file' command#543

Merged

mhuisi merged 2 commits intomasterfrom mhuisi/fetch-cache-restart-file

Oct 29, 2024

+67-41

Commits on Oct 28, 2024

feat: restart file button in 'fetch cache for focused file' command
mhuisi
committed

Commits on Oct 29, 2024

feat: make name of "fetch cache for focused file" command more user-friendly
mhuisi
committed