Skip to content

Hide stale live documents - #125

Merged
tasercake merged 1 commit into
mainfrom
worktree/live-stale
Jul 7, 2026
Merged

Hide stale live documents#125
tasercake merged 1 commit into
mainfrom
worktree/live-stale

Conversation

@tasercake

Copy link
Copy Markdown
Owner

Summary

  • filter /live Presence entries using existing recent edit timestamps with a 5-minute stale threshold
  • keep active presence tracking unchanged for subscriptions/excerpt loading
  • exclude only non-stale live docs from recently edited so stale edited docs appear there

Verification

  • mix compile --warnings-as-errors

@tasercake
tasercake merged commit c3b5f10 into main Jul 7, 2026
1 check passed
@tasercake
tasercake deleted the worktree/live-stale branch July 7, 2026 10:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant