-
Committer:
Gaël Bonithon
-
Date:
2021-05-13 20:30:35 UTC
-
Revision ID:
git-v1:02ab6586e86b79b857f7b3b1a144817d6f116eeb
Add a sanity check on file location for monitoring
A corner case: when an empty document is open and file monitoring is
disabled/enabled from the command line.
Related to !64.