+Mousetrap.bind('esc', function() { $("#name").hide(); $("#shell_out").hide(); });
+
+function clean_picinfo() {
+ files_index = {};
+ $.each(files, function(i, f) {
+ files_index[f] = true;
+ });
+ for (f in picinfo) {
+ if (!files_index[f]) {
+ delete picinfo[f];
+ }
+ }
+}
+
+function undelete_all() {
+ for (f in picinfo) {
+ delete picinfo[f].deleted;
+ }
+ save_picinfo();
+ say("Undeleted everything");
+}