fix not synching

2026-03-13 13:20:51 +02:00 · 2026-03-13 13:20:51 +02:00 · e77e8431c6
commit e77e8431c6
parent e610361217
1 changed files with 1 additions and 0 deletions
--- 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