PR #31173 ui : Search dialog

ui : Search dialog #31173

ggerganov merged 2 commits into master from allozaur/ui/search-dialog

allozaur requested a review from

ServeurpersoCom 7 days ago

allozaur requested a review 7 days ago

allozaur requested a review from

copilot-pull-request-reviewer 7 days ago

copilot-pull-request-reviewer commented on 2026-10-26

github-actions added server/ui

ServeurpersoCom approved these changes on 2026-10-26

allozaur added merge ready

allozaur removed merge ready

allozaur added merge ready

allozaur removed merge ready

ui : replace the sidebar search mode with a search dialog

210d011b

ui : ignore search dialog keys while an IME is composing

ddf2eb49

allozaur force pushed from 84507aa1 to ddf2eb49 6 days ago

allozaur added merge ready

ggerganov merged 6886628c into master 5 days ago

Reviewers

ServeurpersoCom

Assignees

No one assigned

Labels

merge ready server/ui

Milestone

No milestone