Integer tabSize = (Integer)mode.getProperty("tabSize"); if(tabSize != null) putProperty("tabSize",tabSize); else putProperty("tabSize",new Integer(jEdit.getProperty( "buffer.tabSize")));
	public void propertiesChanged()	{		setFlag(SYNTAX,"on".equals(getProperty("syntax")));		Integer tabSize = (Integer)mode.getProperty("tabSize");		if(tabSize != null)			putProperty("tabSize",tabSize);		else			putProperty("tabSize",new Integer(jEdit.getProperty(				"buffer.tabSize")));	}