Show undo option for 3 seconds after the last picture is deleted.

Bug: 6742326
Change-Id: I5008c1984fff0a2affaeabf2a195cfcdc517ebc2

1 files changed, 7 insertions, 0 deletions

diff --git a/src/com/android/gallery3d/data/FilterDeleteSet.java b/src/com/android/gallery3d/data/FilterDeleteSet.java
index 97bbc1256..dbd85d57d 100644
--- a/src/com/android/gallery3d/data/FilterDeleteSet.java
+++ b/src/com/android/gallery3d/data/FilterDeleteSet.java
@@ -25,6 +25,7 @@ import java.util.ArrayList;
 // void addDeletion(Path path, int index);
 // void removeDelection(Path path);
 // void clearDeletion();
+// int getNumberOfDeletions();
 //
 public class FilterDeleteSet extends MediaSet implements ContentListener {
     private static final String TAG = "FilterDeleteSet";
@@ -242,4 +243,10 @@ public class FilterDeleteSet extends MediaSet implements ContentListener {
     public void clearDeletion() {
         sendRequest(REQUEST_CLEAR, null /* unused */ , 0 /* unused */);
     }
+
+    // Returns number of deletions _in effect_ (the number will only gets
+    // updated after a reload()).
+    public int getNumberOfDeletions() {
+        return mCurrent.size();
+    }
 }