+function move_to_nondeleted(direction) {
+ var deleted = JSON.parse(localStorage.picsorter_deleted);
+ do {
+ input_index += direction;
+ } while (files[input_index] in deleted);
+}
+
+function mark_deleted() {
+ var deleted = JSON.parse(localStorage.picsorter_deleted);
+ deleted[files[input_index]] = 1;
+ localStorage.picsorter_deleted = JSON.stringify(deleted);
+}
+
+function mark_not_deleted() {
+ var deleted = JSON.parse(localStorage.picsorter_deleted);
+ delete deleted[files[input_index]];
+ localStorage.picsorter_deleted = JSON.stringify(deleted);
+}
+