message: Add try-catch statement for read file possible exceptions
diff: @@ -17,6 +17,8 @@ export class LibraryNoteLinkProvider implements DocumentLinkProvider {
  async resolveDocumentLink(link: DocumentLink): Promise<DocumentLink> {
  const noteName = link.tooltip;
  + // Adding try-catch statement for read file possible exceptions
  + try{
  for (const leanFile of await workspace.findFiles('**/*.lean')) {
  const content = (await workspace.fs.readFile(leanFile)).toString();
  for (const m of content.matchAll(libraryNoteRegex)) {
  @@ -30,4 +32,9 @@ export class LibraryNoteLinkProvider implements DocumentLinkProvider {
  }
  await window.showErrorMessage(`Library note "${noteName}" not found.`);
  }
  + catch (ex){
  + // Throw an exception in case any other issue is encountered
  + window.showErrorMessage('Exception thrown: .' + ex);
  + }
  + }
  }
  