Sort files in a directory when loading all files

nickbattle · Nov 28, 2023 · 47e31ed · 47e31ed
1 parent a3d02be
commit 47e31ed
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lsp/src/main/java/workspace/LSPWorkspaceManager.java b/lsp/src/main/java/workspace/LSPWorkspaceManager.java
@@ -38,6 +38,7 @@
 import java.nio.file.Paths;
 import java.nio.file.attribute.BasicFileAttributes;
 import java.nio.file.attribute.FileTime;
+import java.util.Arrays;
 import java.util.Collections;
 import java.util.HashMap;
 import java.util.HashSet;
@@ -421,6 +422,7 @@ private void loadProjectFiles(File root) throws IOException
 	{
 		FilenameFilter filter = getFilenameFilter();
 		File[] files = root.listFiles();
+		Arrays.sort(files);		// Predictable order
 		List<File> ignored = new Vector<File>();
 
 		for (File file: files)