script highlighting fixed

This commit is contained in:
2014-12-04 22:54:45 +01:00
parent 5d9be4a0da
commit efafd6b896
@@ -41,7 +41,7 @@ public class UndoFixedEditorPane extends JEditorPane {
setText(t, getContentType());
}
public void setText(String t, String contentType) {
public synchronized void setText(String t, String contentType) {
if (!t.equals(getText())) {
boolean plain = t.length() > Configuration.syntaxHighlightLimit.get();
if (plain) {