Skip to content

make server version string searchable#3693

Merged
pljones merged 1 commit into
jamulussoftware:mainfrom
dingodoppelt:search_version
May 17, 2026
Merged

make server version string searchable#3693
pljones merged 1 commit into
jamulussoftware:mainfrom
dingodoppelt:search_version

Conversation

@dingodoppelt
Copy link
Copy Markdown
Contributor

@dingodoppelt dingodoppelt commented May 16, 2026

This makes the server version string searchable in the connect dialogue.
Useful for searching for servers with a desired version.

CHANGELOG: Make server version string searchable

Context: Fixes an issue?

This makes it possible to filter for the desired server version in the connect dialogue

Does this change need documentation? What needs to be documented and how?

No, as this is just a UX bug fix

Status of this Pull Request

Final

What is missing until this pull request can be merged?

Checklist

  • I've verified that this Pull Request follows the general code principles
  • I tested my code and it does what I want
  • My code follows the style guide
  • I waited some time after this Pull Request was opened and all GitHub checks completed without errors.
  • I've filled all the content above

@dingodoppelt dingodoppelt mentioned this pull request May 16, 2026
5 tasks
@ann0see ann0see added this to the Release 4.0.0 milestone May 16, 2026
@ann0see ann0see added this to Tracking May 16, 2026
@github-project-automation github-project-automation Bot moved this to Triage in Tracking May 16, 2026
Copy link
Copy Markdown
Member

@ann0see ann0see left a comment

Choose a reason for hiding this comment

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

Works. Thank you

@ann0see ann0see moved this from Triage to Waiting on Team in Tracking May 16, 2026
@pljones pljones added the bug Something isn't working label May 17, 2026
@pljones pljones merged commit e554c8c into jamulussoftware:main May 17, 2026
11 checks passed
@github-project-automation github-project-automation Bot moved this from Waiting on Team to Done in Tracking May 17, 2026
@pljones
Copy link
Copy Markdown
Collaborator

pljones commented May 17, 2026

Thanks, merged.

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

Labels

bug Something isn't working

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants