/jEdit/tags/jedit-4-5-pre1/doc/tips/tip65.html
HTML | 8 lines | 7 code | 1 blank | 0 comment | 0 complexity | 5dc2a6cdca9821125322c6601325f1f2 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- <html><body>The <b>ignore case</b> search and replace flag behaves
- in an intelligent manner when replacing occurrences of the search string.
- If the occurrence is all lower case, all upper case or title case,
- the replace string will be converted into the relevant case when
- inserted into the buffer.<p>
- This automatic conversion is only performed if the replacement
- string is all-lower case.</body></html>