Java constants: rich text replace

Where used:

  • findAndReplace in RichTextRange

Constants:

Note: These constants are new with Release 6.5.
  • RichTextItem.RT_REPL_ALL (16)
  • RichTextItem.RT_REPL_PRESERVECASE (8)