better back/forward navigation WIP

2025-10-28 08:46:43 +01:00 · 2020-03-08 11:41:42 +01:00
parent 5114f3f782
commit 5f4d963580
15 changed files with 813 additions and 460 deletions
--- a/docs/frontend_api/entities_branch.js.html
+++ b/docs/frontend_api/entities_branch.js.html
@@ -47,6 +47,8 @@ class Branch {
        this.prefix = row.prefix;
        /** @param {boolean} */
        this.isExpanded = !!row.isExpanded;
+        /** @param {boolean} */
+        this.isDeleted = !!row.isDeleted;
    }

    /** @returns {NoteShort} */