Open GoogleCodeExporter opened 8 years ago
Describe the requested feature: While the browser can search the text, search and replace in the editor could be very useful.
Original issue reported on code.google.com by arpruss on 16 Oct 2013 at 6:09
arpruss
Oops. Just saw this is a duplicate. My apologies.
Original comment by arpruss on 16 Oct 2013 at 6:10
Original issue reported on code.google.com by
arpruss
on 16 Oct 2013 at 6:09