Conversation
… method Add [RequireQualifiedAccess] ActivityLevel DU (Active | Idle | DeepIdle) to src/Shared/Types.fs. Add reportActivity: ActivityLevel -> Async<unit> to IWorktreeApi record. Stub implementations in readOnlyApi and worktreeApi.
Add ActivityLevel tracking to client Model with LastActivityTime. Add UserActivity message with throttled activity subscription. Add computeActivityLevel pure function (60s Idle, 15min DeepIdle). Update Tick handler with activity transition detection. Update pollingSubscription to use activity-level-based intervals. Fix test files to pass ActivityLevel parameter.
…section Replaced fixed interval table with cross-reference to user-idle-detection.md. Added user-idle-detection.md to Related Specs section.
…ivity, timestamp/expiry, flatten intervalOf - Send initial reportActivity(Active) on app startup (4or.2) - Add ClientActivityAt timestamp to DashboardState and server-side timeout logic (4or.3) - Refactor intervalOf from nested match to flat tuple pattern (4or.4)
- Report activity to server on every tick, not just transitions Fixes server decaying to Idle after 5min while user is active - Pass timestamps via Msg payloads (Tick of float, UserActivity of float) instead of calling Date.now() in update handlers - Update elmish-mvu-discipline rule to require pure update functions - Update no-unnecessary-comments rule to allow section dividers in tests
- Idle (3min): lid ~25% closed with darker fill - DeepIdle (15min): lid ~50% closed - Removed opacity change on eye-closed for consistency - Bumped idle threshold from 60s to 180s
The implementation uses 180s (3 min) for the idle threshold. Update spec and boundary tests to match.
…ity, naming - Only call reportActivity on activity level transitions, not every Tick - Replace error callbacks with NoOp to prevent unbounded retry loop - Use message payload timestamp instead of Date.now() in update - Rename pollingSubscription to appSubscriptions - Replace wildcard match with explicit ActivityLevel.Active case - Update stale spec text for variable 1-15s polling cadence - Delete 18 zero-value IntervalOfTests (flat lookup assertions)
# Conflicts: # src/Server/WorktreeApi.fs # src/Shared/Types.fs
# Conflicts: # src/Server/WorktreeApi.fs # src/Shared/Types.fs
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Client-side idle detection with dynamic polling intervals — active users get fast updates, idle tabs poll less frequently.
Changes
eportActivity\ method via Fable.Remoting in \WorktreeApi.fs\
Stats
14 files changed, 519 insertions, 62 deletions