镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

Filtering/No Search Bar for Language Servers #2157

Description

@c4snipes

Description

Currently no search bar/filtering process for the language servers list in the User Interface. CMD F also does not work. Pretty Self explanatory shouldn’t be hard to implement.

Image

Alternatives Considered

Use a components library or build manually by hand.

Additional Context

No response

Screenshots

No response

No activity

Activity on this issue will appear here.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions