Skip to content

Make search case insensitive #710

Description

@dmcassel

From JH:

I noticed a search for VMware (how my iPhone capitalizes it) on docs showed no results. Because we spell it VMWare. Really I think our docs site should be case insensitive. Right now it appears unspecified which behaves as case sensitive on queries containing capitals.
That logic that capitalization in the query indicates you mean to be case sensitive is thrown out the window when my phone does capitalization.

I agree with his reasoning -- the use of mobile devices changes the assumptions about capitalization.

Activity

  1. added this to the October 2017 milestone on Jul 27, 2017
  2. kcoleman-marklogic commented on Jul 27, 2017

    @kcoleman-marklogic
    Contributor

    I think it's one of those lose-lose situations. I will be very, very unhappy if I have to type in case sensitive type and method names every time I want to look something up related to Java, SJS, or Node.js. Or that "Connector" finds hits but "connector" doesn't.

    If you're actively developing, do you really use your cell phone instead of your laptop to search the documentation? Let's be conscious of what use case we're optimizing for.

    I think the right solution to this is an advanced search feature, not arbitrarily deciding that most searches would benefit from being case sensitive.

  3. kcoleman-marklogic commented on Jul 27, 2017

    @kcoleman-marklogic
    Contributor

    Well that was a dumb comment. I thought you were proposing to make the search case SENSITIVE. Sorry. Not enough morning tea ingested.

    I still think the right answer is an advanced search control, but I won't throw a temper tantrum if you change it to case-insensitive. :)

    There's a task out there somewhere for advanced search already, but you can guess how likely that is to happen in our lifetimes.

  4. dmcassel commented on Jul 27, 2017

    @dmcassel
    ContributorAuthor

    I think going case-insensitive by default, with an advanced feature for case-sensitive. And yes, advanced search isn't likely to happen soon.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions