Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support for replacing with lowercase or uppercase #2279

Open
4 tasks done
BambuSergio opened this issue May 11, 2024 · 3 comments
Open
4 tasks done

Support for replacing with lowercase or uppercase #2279

BambuSergio opened this issue May 11, 2024 · 3 comments

Comments

@BambuSergio
Copy link

⚠️ This issue respects the following points: ⚠️

  • This is a enhancement/feature request. Not a bug or question.
  • The topic is not already reported at Issues. (I've searched it).
  • Markor is up to date. See Releases for the latest version. Updates are available from F-Droid and GitHub.
  • The wanted feature/enhancement is not present in the latest development version (git master). (Please download and try the test version of Markor, named Marder. Don't worry; Markor and Marder appear as completely separate applications. You can install both side-by-side, and Markor's settings are not touched. If your desired feature is present, you don't need to open this issue. The change will be part of the next Markor update.)

Description

I would like to be able to use things like \L$0 or \U$1, etc. in the replacement box, width regular expressions, to be able to replace the text found with lowercase or uppercase.
Thank you. Greetings.

Information

Android version: 13
Device: Poco F5
App Version: 2.11.1

Source

F-Droid

Format / File type

Not specific

Additional info / Log

-
@gsantner
Copy link
Owner

gsantner commented May 11, 2024 via email

@BambuSergio
Copy link
Author

Regex has a insensitive flag.

Prefix query with (?i)

I'm sorry, but I don't understand very well. Is it possible to do what I say with regular expressions? Some example? I've tried (?!) but I can't get anything. Thank you

@gsantner
Copy link
Owner

gsantner commented May 11, 2024 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants