Skip to content

Smarter search#2901

Merged
dgageot merged 2 commits into
docker:mainfrom
rumpl:smarter-search
May 27, 2026
Merged

Smarter search#2901
dgageot merged 2 commits into
docker:mainfrom
rumpl:smarter-search

Conversation

@rumpl

@rumpl rumpl commented May 26, 2026

Copy link
Copy Markdown
Member

In the command palette typing "the" will now put "Theme" first on the list, and typing "ses" will put "Sessions" first on the list

@rumpl rumpl requested a review from a team as a code owner May 26, 2026 21:01
docker-agent

This comment was marked as outdated.

@aheritier aheritier added area/tui For features/issues/fixes related to the TUI kind/feat PR adds a new feature (maps to feat: commit prefix) labels May 26, 2026
rumpl added 2 commits May 27, 2026 06:32
In the command palette typing "the" will now put "Theme" first on the
list, and typing "ses" will put "Sessions" first on the list

Signed-off-by: Djordje Lukic <djordje.lukic@docker.com>
- Remove unused matchesCommandQuery wrapper (lint: unused)
- Fix TestCommandPaletteFilteringRanksLabelPrefixFirst: session.attach
  description now contains "the" so it actually matches the query
- isCommandQueryWordStart: decode previous rune via utf8 so non-ASCII
  characters preceding the match are handled correctly
@rumpl rumpl force-pushed the smarter-search branch from 80e61b5 to a5c3e6e Compare May 27, 2026 06:32
@dgageot dgageot merged commit 6fd7cef into docker:main May 27, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/tui For features/issues/fixes related to the TUI kind/feat PR adds a new feature (maps to feat: commit prefix)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants