DevTools: Remove caseSensitive from FilteredListWidget.Delegate

DevTools: Remove caseSensitive from FilteredListWidget.Delegate

Makes case sensitivity and option on highlightRanges, which becomes
a static method on FilteredListWidget.

BUG=none

Review-Url: https://codereview.chromium.org/2627783002
Cr-Commit-Position: refs/heads/master@{#443042}
Committed: https://chromium.googlesource.com/chromium/src/+/9445305e2f3022015e983398fe3aa56feea9a418

[einbinder, 2017-01-11 02:48:58]

einbinder@chromium.org changed reviewers:
+ dgozman@chromium.org

[einbinder, 2017-01-11 02:48:59]

ptal

[dgozman, 2017-01-11 18:30:53]

lgtm

[einbinder, 2017-01-11 19:56:26]

The CQ bit was checked by einbinder@chromium.org

[commit-bot: I haz the power, 2017-01-11 19:56:51]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-01-11 20:13:18]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2017-01-11 20:13:19]

Try jobs failed on following builders:
  android_n5x_swarming_rel on master.tryserver.chromium.android (JOB_FAILED,
https://build.chromium.org/p/tryserver.chromium.android/builders/android_n5x_...)
  linux_android_rel_ng on master.tryserver.chromium.android (JOB_FAILED,
https://build.chromium.org/p/tryserver.chromium.android/builders/linux_androi...)

[einbinder, 2017-01-11 22:02:56]

The CQ bit was checked by einbinder@chromium.org

[commit-bot: I haz the power, 2017-01-11 22:04:08]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-01-11 23:09:12]

CQ is committing da patch.

Bot data: {"patchset_id": 1, "attempt_start_ts": 1484172176908670, "parent_rev":
"bcbe36cce42ae13bee7b03a6e037237676959935", "commit_rev":
"9445305e2f3022015e983398fe3aa56feea9a418"}

[commit-bot: I haz the power, 2017-01-11 23:09:41]

Description was changed from

==========
DevTools: Remove caseSensitive from FilteredListWidget.Delegate

Makes case sensitivity and option on highlightRanges, which becomes
a static method on FilteredListWidget.

BUG=none
==========

to

==========
DevTools: Remove caseSensitive from FilteredListWidget.Delegate

Makes case sensitivity and option on highlightRanges, which becomes
a static method on FilteredListWidget.

BUG=none

Review-Url: https://codereview.chromium.org/2627783002
Cr-Commit-Position: refs/heads/master@{#443042}
Committed:
https://chromium.googlesource.com/chromium/src/+/9445305e2f3022015e983398fe3a...
==========

[commit-bot: I haz the power, 2017-01-11 23:09:42]

Committed patchset #1 (id:1) as
https://chromium.googlesource.com/chromium/src/+/9445305e2f3022015e983398fe3a...