WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
NEW
189161
Searching for lowercase delta finds capital delta
https://bugs.webkit.org/show_bug.cgi?id=189161
Summary
Searching for lowercase delta finds capital delta
Myles C. Maxfield
Reported
2018-08-30 11:04:24 PDT
1. Open
https://www.khronos.org/registry/vulkan/specs/1.1/html/vkspec.html#_texel_input_operations
2. ⌘F 3. Search for U+03B4 δ Expected: U+0394 Δ is not found Actual: U+0394 Δ is found
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2018-08-30 23:28:26 PDT
<
rdar://problem/43925547
>
Alexey Proskuryakov
Comment 2
2018-08-31 09:42:39 PDT
> Expected: U+0394 Δ is not found
That's not intuitively correct. Why is that the expectation?
Myles C. Maxfield
Comment 3
2018-09-04 17:02:19 PDT
(In reply to Alexey Proskuryakov from
comment #2
)
> > Expected: U+0394 Δ is not found > > That's not intuitively correct. Why is that the expectation?
These characters are used as variables in math formulas. They represent distinct variables.
Alexey Proskuryakov
Comment 4
2018-09-04 17:09:53 PDT
How will we distinguish that case from when they are used in genuine Greek text?
Myles C. Maxfield
Comment 5
2018-09-04 17:41:37 PDT
(In reply to Alexey Proskuryakov from
comment #4
)
> How will we distinguish that case from when they are used in genuine Greek > text?
No idea. It's still a bug, though.
Alexey Proskuryakov
Comment 6
2018-09-05 09:20:10 PDT
I don't see anything actionable here. All letters have different meanings in math depending on case, so it doesn't makes sense to nitpick on delta. Consider "o(N)" and "O(N)" - would that be a reason to claim that case insensitive search for "o" shouldn't match "O"? Delta is no different.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug