- Use mutex for file watcher. - Make `Manager.fileWatcher` readonly. - Use `Set` for `Manager.filesWatched`.
- Use mutex for file watcher.
- Make `Manager.fileWatcher` readonly.
- Use `Set` for `Manager.filesWatched`.

James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop