Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make custom highlights case-insensitive #565

Merged
merged 1 commit into from Aug 17, 2016

Conversation

astorije
Copy link
Member

@astorije astorije commented Aug 16, 2016

Fixes #439.

@astorije astorije added the Type: Feature Tickets that describe a desired feature or PRs that add them to the project. label Aug 16, 2016
@astorije astorije added this to the 2.0.0 milestone Aug 16, 2016
@@ -287,8 +287,8 @@ <h1 class="title">Settings</h1>

<div class="col-sm-12">
<label class="opt">
<label for="highlights" class="sr-only">Custom highlights (comma-separated keywords)</label>
<input type="text" id="highlights" name="highlights" class="input" placeholder="Custom highlights (comma-separated keywords)">
<label for="highlights" class="sr-only">Custom highlights (comma-separated keywords, case-insensitive)</label>
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not convinced about adding this to the label/placeholder, tbh. I think this would be expected as the default.

I guess the other option would be to put a checkbox for case sensitivity. But either way, I wouldn't put this in the label/placeholder.

@AlMcKinlay
Copy link
Member

👍 despite my 1 comment. Not massively against the extra characters, but I don't think necessary

@astorije astorije force-pushed the astorije/439-case-insensitive-highlights branch from c77152a to d48830a Compare August 16, 2016 22:40
@astorije
Copy link
Member Author

@YaManicKill, I updated my PR to address your comment. We can improve this over time, no big deal. Fixing the underlying issue is more pressing anyway.

@AlMcKinlay
Copy link
Member

I am still 👍

@astorije
Copy link
Member Author

Cool! @maxpoulin64?

@maxpoulin64 maxpoulin64 merged commit 36a21ba into master Aug 17, 2016
@maxpoulin64 maxpoulin64 deleted the astorije/439-case-insensitive-highlights branch August 17, 2016 16:50
matburnham pushed a commit to matburnham/lounge that referenced this pull request Sep 6, 2017
…ensitive-highlights

Make custom highlights case-insensitive
@AlMcKinlay AlMcKinlay removed their assignment Mar 12, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Type: Feature Tickets that describe a desired feature or PRs that add them to the project.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants