Default regex in JSON Editor needs double backslash for dots

[superpoincare]

Steps to reproduce

Expected behavior

(Not needed)

Actual behavior

(Not needed)

URLCheck version

3.2

Android version

Android 14

Android Custom/Specific ROM or Device

HyperOS 1

Other details

Default regex examples like in the Pattern Checker module or in Automation seem to not escape dots with double backslash. Just a dot would mean “any character” but “\\.” is right as it specifically means single dot.

Acknowledgements

• [x] I have searched the existing issues and this is a new ticket, NOT a duplicate or related to another open issue.
• [x] I have written a short but informative title.
• [x] I will fill out all of the requested information in this form.

[TrianguloY]

Oh, you are right! They are wrong, even though I'm very aware of that escaping requirement 🤦

Luckily very easy to fix