Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Basic Find & Replace #3
Add basic Find & Replace functionality.
In the first iteration, this will be a simple text search (no regular expressions, no (La)TeX commands). Umlaute and accented characters will be supported, though.
Possible improvements (for later)