Find/replace in the editor?

[nlb]

Hi

Not available in the sonic pi editor.
Some use vscode with a sonicpi server version.

edit : VS Code extension

Cheers