fix deleting notes

src/public/app/entities/note_short.js

@@ -59,6 +59,8 @@ class NoteShort {
         this.type = row.type;
         /** @param {string} content-type, e.g. "application/json" */
         this.mime = row.mime;
+        /** @param {boolean} */
+        this.isDeleted = !!row.isDeleted;
     }
 
     addParent(parentNoteId, branchId) {