[9] Review request for 8090216: HTMLEditor: font bold doesn't work when an indent is set

[Murali Billa]

 

Hi Kevin, Arun, Guru,


Please review the following fix.

JIRA: https://bugs.openjdk.java.net/browse/JDK-8090216


Webrev: http://cr.openjdk.java.net/~mbilla/8090216/webrev.00/



Thanks,

Murali