4
4
import javax.swing.text.AttributeSet;
5
5
import javax.swing.text.BadLocationException;
8
9
class MyDocument extends DefaultStyledDocument {
10
11
public void insertString(int offs, String str, AttributeSet a) throws BadLocationException {
11
12
str = str.replaceAll("\t", " ");
12
13
super.insertString(offs, str, a);