From e77e8431c6807d338298a72e4936b03b4ec14abc Mon Sep 17 00:00:00 2001 From: Henry Jameson Date: Fri, 13 Mar 2026 13:20:51 +0200 Subject: [PATCH] fix not synching --- src/stores/user_highlight.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/stores/user_highlight.js b/src/stores/user_highlight.js index 4723d4c05..96e54d80c 100644 --- a/src/stores/user_highlight.js +++ b/src/stores/user_highlight.js @@ -326,6 +326,7 @@ export const useUserHighlightStore = defineStore('user_highlight', { this.cache._timestamp = Math.min(stale._timestamp, recent._timestamp) } this.highlight = this.cache.highlight + this.pushHighlight() }, pushHighlight({ force = false } = {}) { const needPush = this.dirty || force