RegEx Support for "Find in Page"
RobsukeDaisuke last edited by
@Komposten Yes, the toggle should be in the right side of the search field, or somewhere close.
tlk last edited by
So much yes! It's not needed very often but when it is, it would help tremendously.
And as a side note, there is a regexp option in Developer Tools when searching in Sources.
How exactly do you access Developer Tools in Vivaldi? And what do you mean by searching in Sources? The source of the page? Please, be something else...
I'm new to Vivaldi (but old Opera user - when it was still real), so bear with me. I learn quickly and know my way around linux, etc. but somehow this didn't quite open to me.
One can open Developer tools via:
- right-clicking (on a right-handed mouse configuration) the page and selecting Inspect
- Menu ->Tools -> Developer Tools
- keyboard shortcut (whichever is customized in your system - open Vivaldi Settings and search in the search field "Developer")
- Quick Commands (again, open with a shortcut, open Vivaldi Settings and search in the search field "Quick commands"), then in there type "Developer tools"
And in the Developer Tools there is a tab Sources, which can also be searched, and there is a RegExp toggle there.
@greybeard Should definitely be a toggle. Preferably like the 'match case' one.
What about writing the regex like this ```
...or with ignore case``` i/div .*/
I know those examples are just nonsense, but that's not the point Anyway, it's always optional in browsers I think.
A toggle is much more obvious to the users (not everyone will think of trying to write a JS-style regex into the search field unless they expect it to work, which they wouldn't since there isn't really a precedent for it), and it doesn't have the problem of needing to escape characters if I want to search for regex-like text without actually interpreting it as a regex.
Yes! with a toggle that rememberes its last state. Would be amazing