Skip to content

Commit

Permalink
fix #507
Browse files Browse the repository at this point in the history
  • Loading branch information
Frotty committed Aug 6, 2018
1 parent 2bcc63a commit 86c3fe9
Showing 1 changed file with 4 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -238,7 +238,10 @@ private void viewErrorDetail(CompileError err) {
}
}

String text = codeArea.getText();
String text = codeArea.getText()
.replaceAll(" {4}", " ")
.replaceAll("\t", " ");
codeArea.setText(text);

MutableAttributeSet attrs = codeArea.getInputAttributes();
StyleConstants.setUnderline(attrs, false);
Expand Down

0 comments on commit 86c3fe9

Please sign in to comment.