Skip to content

Fix: Profile and WiFi search timer - #3638

Merged
mergify[bot] merged 4 commits into
mainfrom
fix/profile-search-timer
Oct 21, 2026
Merged

mergify[bot] merged 4 commits into
mainfrom
fix/profile-search-timer

Conversation

@BornToBeRoot

Copy link
Copy Markdown
Owner

Changes proposed in this pull request

  • Timer was not reset

Related issue(s)

To-Do

Contributing

By submitting this pull request, I confirm the following:

BornToBeRoot and others added 2 commits October 21, 2026 03:50
DispatcherTimer.Start() is a no-op while the timer is running, so the search was
filtered 750 ms after the first key press instead of after the last one.
Reset the timer (Stop + Start) on every change.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The hide timer was not reset when a new message was shown, because
DispatcherTimer.Start() is a no-op while the timer is running.
Also shorten the timer comments of the profile search fix.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Copilot AI balanced review requested due to automatic review settings October 21, 2026 02:04

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@github-actions github-actions Bot added this to the next-release milestone Oct 21, 2026
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@mergify

mergify Bot commented Oct 21, 2026 •

Copy link
Copy Markdown
Contributor

This pull request does not currently match the merge queue conditions, so it cannot be queued from here. The box comes back if it matches again.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@mergify
mergify Bot merged commit 35ebaea into main Oct 21, 2026
5 checks passed
@mergify
mergify Bot deleted the fix/profile-search-timer branch October 21, 2026 02:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants