Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

right sidebar: s/Filter users/Search people/. 

We previously had a mix of "Filter users" and "Search people" for this
widget. "Search" is more correct because the right sidebar can only
show a subset of the organization in some settings.
This commit is contained in:
Tim Abbott 2021-06-18 16:37:51 -07:00
parent 8cd9fc7a74
commit a307de95de
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
static/js/buddy_data.js
View File

@ -338,7 +338,7 @@ function filter_user_ids(user_filter_text, user_ids) {
return user_ids;
}
// If a query is present in "Filter users", we return matches.
// If a query is present in "Search people", we return matches.
user_ids = user_ids.filter((user_id) => !people.is_my_user_id(user_id));
let search_terms = user_filter_text.toLowerCase().split(/[,|]+/);

8
templates/zerver/app/right_sidebar.html
View File

@ -2,8 +2,12 @@
<div class="right-sidebar-items">
<div id="user-list">
<div id="userlist-header">
<h4 class='sidebar-title tippy-zulip-tooltip' id='userlist-title' data-tippy-content="{{ _('Filter users') }} (w)">{{ _('USERS') }}</h4>
<i id="user_filter_icon" class='fa fa-search tippy-zulip-tooltip' aria-hidden="true" aria-label="{{ _('Filter users') }}" data-tippy-content="{{ _('Filter users') }} (w)"></i>
<h4 class='sidebar-title tippy-zulip-tooltip'
id='userlist-title' data-tippy-content="{{ _('Search people') }} (w)">{{ _('USERS') }}</h4>
<i id="user_filter_icon" class="fa fa-search tippy-zulip-tooltip"
aria-hidden="true" aria-label="{{ _('Search people') }}"
data-tippy-content="{{ _('Search people') }} (w)">
</i>
</div>
<div class="input-append notdisplayed" id="user_search_section">
<input class="user-list-filter home-page-input" type="text" autocomplete="off" placeholder="{{ _('Search people') }}" />