More instant page navigator

2023-12-22 15:55:50 +01:00
parent 8a181145ad
commit 3350c7f076
11 changed files with 79 additions and 60 deletions
@@ -137,7 +137,7 @@ export class ServerSystem {
    );

    this.listInterval = setInterval(() => {
-      space.updatePageListCache().catch(console.error);
+      space.updatePageList().catch(console.error);
    }, fileListInterval);

    eventHook.addLocalListener("file:changed", (path, localChange) => {