Mark extracted files as read only

nickbattle · Jan 30, 2024 · 1b84ef5 · 1b84ef5
1 parent becb74f
commit 1b84ef5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lsp/src/main/java/workspace/LSPWorkspaceManager.java b/lsp/src/main/java/workspace/LSPWorkspaceManager.java
@@ -543,6 +543,7 @@ private void loadExternalFile(File file) throws IOException
 				source.printSource(spw);
 				spw.close();
 				Diag.info("Extracted source written to " + extract);
+				extract.setReadOnly();	// Works with files.readonlyFromPermissions in VSCode
 
 				loadFile(extract);