tomato0626 / latex-lab

Automatically exported from code.google.com/p/latex-lab
0 stars 0 forks source link

Search and replace #448

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 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

GoogleCodeExporter commented 8 years ago
Oops.  Just saw this is a duplicate.  My apologies.

Original comment by arpruss on 16 Oct 2013 at 6:10