feat: replace stale dep notifs with "restart file" infoview button#419

Merged

mhuisi merged 3 commits intoleanprover:masterfrom mhuisi:mhuisi/restart-file-button

Mar 27, 2024

+116-175

Commits on Mar 22, 2024