mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
EA-55778
This commit is contained in:
+4
-2
@@ -632,8 +632,10 @@ public class FileDocumentManagerImpl extends FileDocumentManager implements Virt
|
||||
documentEx.setReadOnly(false);
|
||||
LoadTextUtil.setCharsetWasDetectedFromBytes(file, null);
|
||||
file.setBOM(null); // reset BOM in case we had one and the external change stripped it away
|
||||
documentEx.replaceText(LoadTextUtil.loadText(file), file.getModificationStamp());
|
||||
documentEx.setReadOnly(!wasWritable);
|
||||
if (!file.getFileType().isBinary()) {
|
||||
documentEx.replaceText(LoadTextUtil.loadText(file), file.getModificationStamp());
|
||||
documentEx.setReadOnly(!wasWritable);
|
||||
}
|
||||
}
|
||||
}
|
||||
);
|
||||
|
||||
Reference in New Issue
Block a user