Can Developer Tools in Chrome perform a non-case-sensitive search?

google-chrome search case-sensitive
Edit
Report