External Publication Visit Post Any good text editor? F-Droid Forum [Unofficial] February 11, 2026 Like Share Source OP wanted a search & replace text functionality, like a CTRL+H in desktop text editors.
Discussion in the ATmosphere