After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 722019 - Find should be case-insensitive
Find should be case-insensitive
Status: RESOLVED FIXED
Product: epiphany
Classification: Core
Component: Interface
3.10.x (obsolete)
Other Linux
: Normal minor
: ---
Assigned To: Epiphany Maintainers
Epiphany Maintainers
Depends on:
Blocks: 755518
 
 
Reported: 2014-01-12 00:57 UTC by Michael Catanzaro
Modified: 2016-02-24 19:19 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Always do case-insensitive search (1.33 KB, patch)
2016-02-23 15:41 UTC, Gabriel Ivașcu
none Details | Review
Always do case-insensitive search (1.36 KB, patch)
2016-02-23 17:58 UTC, Gabriel Ivașcu
committed Details | Review

Description Michael Catanzaro 2014-01-12 00:57:40 UTC
It would probably make sense for the find command (Ctrl+F) to do case-insensitive searches.
Comment 1 Yosef Or Boczko 2014-01-12 01:24:20 UTC
Now, if in the string to search has uppercase, there is a case sensitive search.
If in the string has not uppercase, there is a case insensitive search.

I think or to keep the current, or to add check button „Match Case”.
Comment 2 Claudio Saavedra 2014-01-13 09:26:45 UTC
Yosef is right. We deliberately made it this way in the 2012 hackfest IIRC.
Comment 3 Michael Catanzaro 2014-01-14 00:40:44 UTC
Hm... that kind of makes sense, but other GNOME apps do not behave this way. This seems like a discoverability issue.
Comment 4 Gabriel Ivașcu 2016-02-19 14:50:53 UTC
Has this been settled?

I would like to work on it (thinking that a "Match Case" button would be good to have)
Comment 5 Michael Catanzaro 2016-02-19 18:27:39 UTC
It has not been settled. I'm quite sure I hate the current behavior; either searches should always be case-insensitive, or we need some checkbox for this, and I'd rather not add a checkbox to the nice clean search bar tbh.

Could you please ask aday in #gnome-design for his opinion?
Comment 6 Allan Day 2016-02-23 11:28:30 UTC
I'd probably just do case insensitive all the way - it is less error-prone. I can think of cases where you might want to toggle the sensitivity in a text or code editor; less so in a web browser.
Comment 7 Gabriel Ivașcu 2016-02-23 15:41:56 UTC
Created attachment 321993 [details] [review]
Always do case-insensitive search

Okay then.

Let me know what you think of this.
Comment 8 Michael Catanzaro 2016-02-23 17:45:05 UTC
Review of attachment 321993 [details] [review]:

Good with one change

::: embed/ephy-find-toolbar.c
@@ +178,3 @@
                 return;
 
+        options |= WEBKIT_FIND_OPTIONS_CASE_INSENSITIVE;

Instead, just declare it as:

WebKitFindOptions options = WEBKIT_FIND_OPTIONS_CASE_INSENSITIVE;
Comment 9 Gabriel Ivașcu 2016-02-23 17:58:54 UTC
Created attachment 322155 [details] [review]
Always do case-insensitive search

(In reply to Michael Catanzaro from comment #8)
> ::: embed/ephy-find-toolbar.c
> @@ +178,3 @@
>                  return;
>  
> +        options |= WEBKIT_FIND_OPTIONS_CASE_INSENSITIVE;
> 
> Instead, just declare it as:
> 
> WebKitFindOptions options = WEBKIT_FIND_OPTIONS_CASE_INSENSITIVE;

Sure.
Comment 10 Michael Catanzaro 2016-02-23 19:33:46 UTC
Review of attachment 322155 [details] [review]:

Do you have a GNOME account yet? Probably time to apply for one. See https://wiki.gnome.org/AccountsTeam/NewAccounts

Mention your contributions to Nibbles and that I think it'd be helpful for you to have commit access.
Comment 11 Michael Catanzaro 2016-02-24 19:19:06 UTC
Attachment 322155 [details] pushed as fe3b8ab - Always do case-insensitive search