Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Toggle Search using Room Header button #2693

Merged
merged 2 commits into from
Feb 25, 2019
Merged

Conversation

t3chguy
Copy link
Member

@t3chguy t3chguy commented Feb 24, 2019

Fixes element-hq/element-web#8410

Signed-off-by: Michael Telatynski 7t3chguy@gmail.com

Signed-off-by: Michael Telatynski <7t3chguy@gmail.com>
Signed-off-by: Michael Telatynski <7t3chguy@gmail.com>
@t3chguy t3chguy requested a review from a team February 24, 2019 03:26
Copy link
Member

@turt2live turt2live left a comment

Choose a reason for hiding this comment

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

Thanks!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants