mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-08 19:04:45 +00:00
ac8cdd6759
This patch uses a case-insensitive matcher to highlight the title of a history entry that's been typed by the user. Previously the matching substring was calculated manually as lowercase assuming that it's representation would have the same number of characters as the original mixed case. In some locales howerver this assumption is wrong leading to out-of-bound exceptions when highlighting part of the title. Differential Revision: https://phabricator.services.mozilla.com/D6661 --HG-- extra : moz-landing-system : lando |
||
---|---|---|
.. | ||
android | ||
locales |