P4
To reproduce:
1. Create a HTMLEditor and set html text initially.
2. In the HTMLEditor, highlight some text and set bold format. Now the "Bold" icon is armed.
3. Click on other part of the text those are not bold.
The problem is the "Bold" icon is still armed.
If there is no initial text in HTMLEditor, the problem doesn't happen.
1. Create a HTMLEditor and set html text initially.
2. In the HTMLEditor, highlight some text and set bold format. Now the "Bold" icon is armed.
3. Click on other part of the text those are not bold.
The problem is the "Bold" icon is still armed.
If there is no initial text in HTMLEditor, the problem doesn't happen.