Since we're all users like yourself, we can't discern Google's intentions,
but I would say it's case-sensitive so you can search for messages that
contain the word "or" by not capitalizing it. As an alternative, you can
"OR" searches together by using the braces instead of parentheses... so
like this:
from:{friendA friendB friendC}
On Tue, Jul 30, 2013 at 12:57 AM, electronicsguy <[email protected]>wrote:
> Hello,
> I absolutely love the search within gmail and using it as part of
> creating filters. However, I am running into an inconvenience. sometimes, I
> give a long search string consisting of multiple friend's emails as part of
> the search or creating a filter. for example:
>
> from:( friendA OR friendB OR friendC OR friendD)
>
> and so on.
>
> now the problem is that the operators like "OR" are case sensitive. I know
> it is describe here: https://support.google.com/mail/answer/7190?hl=en
>
> However, its a requirement thats not required. If I type "Or" or "or" by
> mistake even once, the entire search shows up empty.
>
> the operands on either side are not-case-sensitive. For example, I could
> easily write "FrIeNdA OR friENDB" and it searches just fine,
>
> Could you please explain why the case sensitive operators are required? Or
> at the least, some script should auto-correct the case and convert it into
> "OR".
>
>
> that would make it much more user friendly.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Gmail-Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at http://groups.google.com/group/gmail-users.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>
--
You received this message because you are subscribed to the Google Groups
"Gmail-Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/gmail-users.
For more options, visit https://groups.google.com/groups/opt_out.
