boolean replace) {  }
boolean replace) { int dot = getCaret().getDot(); int start = getSelectionStart(); int end = getSelectionEnd(); if (start == dot && end == dot)  { MutableAttributeSet inputAttributes = getStyledEditorKit().getInputAttributes(); inputAttributes.addAttributes(attribute); } else getStyledDocument().setCharacterAttributes(start, end - start, attribute, replace); }
	public void setCharacterAttributes(AttributeSet attribute,			boolean replace) {		// TODO	} // setCharacterAttributes()