From 12d177a59cfd14f60c344193b10625fd8f96929e Mon Sep 17 00:00:00 2001 From: Bill Farmer Date: Mon, 9 Oct 2023 15:25:27 +0100 Subject: [PATCH] Update recent list --- .../java/org/billthefarmer/notes/Notes.java | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/src/main/java/org/billthefarmer/notes/Notes.java b/src/main/java/org/billthefarmer/notes/Notes.java index c227a21..106dc3a 100644 --- a/src/main/java/org/billthefarmer/notes/Notes.java +++ b/src/main/java/org/billthefarmer/notes/Notes.java @@ -141,7 +141,7 @@ public class Notes extends Activity public final static String JS_SCRIPT = "js/script.js"; public final static String TEXT_JAVASCRIPT = "text/javascript"; - public final static String FOLDER = "Folder: "; + public final static String FOLDER = "Folder"; public final static String FILE_PROVIDER = "org.billthefarmer.notes.fileprovider"; @@ -509,6 +509,10 @@ public boolean onPrepareOptionsMenu(Menu menu) for (String path : pathMap.keySet()) { File file = new File(path); + // Check it exists + if (!file.exists()) + continue; + long last = file.lastModified(); list.add(last); map.put(last, path); @@ -2438,9 +2442,18 @@ private void savePath(String path) // Get a list of files List list = new ArrayList<>(); Map map = new HashMap<>(); - for (String name : pathMap.keySet()) + for (Iterator iter = pathMap.keySet().iterator(); + iter.hasNext();) { + String name = iter.next(); File file = new File(name); + if (!file.exists()) + { + iter.remove(); + removeList.add(name); + continue; + } + list.add(file.lastModified()); map.put(file.lastModified(), name); }