Parse search string as plaintext to avoid doubling \

[mikhaelkh]

Prerequisites

• I verified that this is not a filter issue
  • Filter issues MUST be reported at filter issue tracker
• This is not a support issue or a question
  • Support issues and questions are handled at /r/uBlockOrigin
• I performed a cursory search of the issue tracker to avoid opening a duplicate issue
  • Your issue may already be reported.
• I tried to reproduce the issue when...
  • uBlock Origin is the only extension
  • uBlock Origin with default lists/settings
  • using a new, unmodified browser profile
• I am running the latest version of uBlock Origin
• I checked the documentation to understand that the issue I report is not a normal behavior

Description

Filters that contains \ (e.g. google.*###center_col > #\5f Emc in uBlock FIlters) can't be found w\o replacing \ with \\ in search field.

Steps to Reproduce

1. Open uBlock filters in Dashboard
2. Search google.*###center_col > #\5f Emc - 0 matches
3. Search google.*###center_col > #\\5f Emc - 1 match, line 16

Your environment

• uBlock Origin version: 1.20.3b4
• Browser Name and version: Chromium 75.0.3770.100 x64
• Operating System and version: Windows 10 v1607 x64

[gorhill]

Related: codemirror/codemirror5#5428

[gorhill]

Related commit: codemirror/codemirror5@eb0ef20. Reading through the related issue, I am not too sure I understand why this was designed to way it is. In any case since I have borrowed and modified content of CodeMirror's search.js, I can fix on uBO's side without having to ask for a change on CodeMirror's side.