ctype = type; invalidate(); repaint();
if (editorKit != null && editorKit.getContentType().equals(type)) return;  EditorKit kit = getEditorKitForContentType(type);  if (kit != null) setEditorKit(kit);
  public void setContentType(String type)    {	ctype = type;	invalidate();	repaint();    }