Open Vampire opened 10 months ago
If you change the size threshold for being able to edit a file, the read-only state for existing editors is not updated. You first have to close and reopen the file to change the read-only state.
If you change the size threshold for being able to edit a file, the read-only state for existing editors is not updated. You first have to close and reopen the file to change the read-only state.