-
Notifications
You must be signed in to change notification settings - Fork 687
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
Conversation
@@ -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> |
There was a problem hiding this comment.
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.
👍 despite my 1 comment. Not massively against the extra characters, but I don't think necessary |
c77152a
to
d48830a
Compare
@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. |
I am still 👍 |
Cool! @maxpoulin64? |
…ensitive-highlights Make custom highlights case-insensitive
Fixes #439.