So there was no performance difference if you used char[] or
String.charAt()?
On 12.05.16 15:33, mikhail cherkasov wrote:
and one more small update:
http://cr.openjdk.java.net/~mcherkas/8078268/webrev.04/
I removed START_COMMENT_CHARS and END_COMMENT_CHARS variables and
instead of them use START_COMMENT and END_COMMENT.
On 5/12/2016 12:47 PM, mikhail cherkasov wrote:
On 5/12/2016 12:18 PM, Alexey Ivanov wrote:
HTMLEditorKit htmlKit = new HTMLEditorKit();
Document doc = htmlKit.createDefaultDocument();
htmlKit.read(new FileReader(...), doc, 0);
Thank you for advice, this works fine:
http://cr.openjdk.java.net/~mcherkas/8078268/webrev.03/
--
Best regards, Sergey.
