Commits on Mar 13, 2024

1. Do not stop reloading docs on error …

   In the `reload-all` command, we should not stop reloading the documents
   if one error is found. Instead, we should report the error and continue
   trying to reload the current open documents. This is useful in cases
   where a backing file does not exist temporarily (e.g. when editing a git
   patch in the outstanding chain that doesn't have a file just yet).
   
   This change also remove the error messages in the cases where the
   backing is `None`, like in new docs or `tutor`.

   

   useche committed Mar 13, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 1d9a263
   • Browse repository at this point

   Copy the full SHA

   1d9a263 View commit details

   Browse the repository at this point in the history