PageRenderTime 37ms CodeModel.GetById 13ms RepoModel.GetById 0ms app.codeStats 0ms

/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
  1. <html><body>The <b>ignore case</b> search and replace flag behaves
  2. in an intelligent manner when replacing occurrences of the search string.
  3. If the occurrence is all lower case, all upper case or title case,
  4. the replace string will be converted into the relevant case when
  5. inserted into the buffer.<p>
  6. This automatic conversion is only performed if the replacement
  7. string is all-lower case.</body></html>