Blue dot (badge) very useful for indicating a file has unsaved edits. However, if file-save fails the badge disappears. Is there a way to have the badge stay on if file-save fails? Most frequent reason for failed file-save: wrong permissions on file.
Looks like a bug that should be reported on GitHub