diff --git a/templates/zerver/app/search_operators.html b/templates/zerver/app/search_operators.html index 9af851d708..d757241280 100644 --- a/templates/zerver/app/search_operators.html +++ b/templates/zerver/app/search_operators.html @@ -81,28 +81,33 @@
You can use any combination of these search operators in a single query. For example:
+ +{% trans %}You can use any combination of these search operators in a single query. Consider the following example:{% endtrans %}
+ + {% set placeholder_stream = _("streamname") %} + {% set placeholder_email = _("user@example.com") %} + {% set placeholder_keyword = _("keyword") %}- stream:streamname - sender:user@example.com - keyword + stream:{{ placeholder_email }} + sender:{{ placeholder_email }} + {{ placeholder_keyword }}
- would search for messages sent by - user@example.com + {% trans %} + That query would search for messages sent by + {{ placeholder_email }} to stream - streamname + {{ placeholder_stream }} containing the keyword - keyword. + {{ placeholder_keyword }}. + {% endtrans %}
- {% endtrans %}