Repository navigation
support searching for people, rooms, spaces with loose matching - #1210
Open
kevinaboos wants to merge 1 commit into
Open
kevinaboos wants to merge 1 commit into
kevinaboos wants to merge 1 commit into
Conversation
AddRoom only accepted an exact room alias or ID (or a link), and we didn't have any way to find or add a user (to DM them). Now we have the same text input for searching rooms and spaces, but it's connected to the homeserver directory, as well as a new text input for searching for users. They both also now support partial input, where we try to figure out whether it's an alias or user or whatever. Joined rooms/spaces are also shown just as to not confuse the users. Barely related: `parse_matrix_link()` no longer panics if matrix.to links with empty segments Fixes project-robius#1174 Fixes project-robius#1184
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
AddRoom only accepted an exact room alias or ID (or a link), and we didn't have any way to find or add a user (to DM them).
Now we have the same text input for searching rooms and spaces, but it's connected to the homeserver directory, as well as a new text input for searching for users.
They both also now support partial input, where we try to figure out whether it's an alias or user or whatever.
Joined rooms/spaces are also shown just as to not confuse the users.
Barely related:
parse_matrix_link()no longer panics if matrix.to links with empty segmentsFixes #1174
Fixes #1184