Open GoogleCodeExporter opened 9 years ago
Another fix would be to override the read() method of DefaultEditorKit from
public void read(Reader in, Document doc, int pos)
throws IOException, BadLocationException {
char[] buff = new char[4096];
to use higher block values
public void read(Reader in, Document doc, int pos)
throws IOException, BadLocationException {
char[] buff = new char[409600];
Original comment by jacob.nordfalk
on 28 Apr 2015 at 12:19
Fixed in
https://github.com/nordfalk/jsyntaxpane/commit/ad57ec63c99644ee492cb52ecada62868
58aadfd by simply not using the read() method of DefaultEditorKit
Original comment by jacob.nordfalk
on 2 May 2015 at 10:42
Original issue reported on code.google.com by
jacob.nordfalk
on 28 Apr 2015 at 12:17