search

Akuli / porcupine

A decent editor written in tkinter
MIT License
144 stars 46 forks source link

Regex find/replace #1419

Closed adder32 closed 8 months ago

adder32 commented 8 months ago

Sorry if this feature exists, but I'm unable to find it the intuitive way (ctrl+f).

I figured it would be nice to have regex find/replace.

e.g. in case you .unwrap() in multiple places and want to use .unwrap_unchecked(), going through this is tedious as it requires wrapping the latter in unsafe { ... }.

This could be easily accomplished via regex.

adder32 commented 8 months ago

Closing as duplicate of #384

(Sorry for not doing a search before posting the issue.)