The RichTextCurrentStyleChanged event is supposed to occur only when a column with the RichText edit style has focus and the selected text has mixed character styles, or when the character styles of the current text selection have changed. However, it sometimes occurs for selected text even when the characters in the text have the same character styles. [CR 539901]
