clearProperties(); parseBufferLocalProperties();
	public void setMode(Mode mode)	{		/* This protects against stupid people (like me)		 * doing stuff like buffer.setMode(jEdit.getMode(...)); */		if(mode == null)			throw new NullPointerException("Mode must be non-null");		if(this.mode == mode)			return;		Mode oldMode = this.mode;		this.mode = mode;		propertiesChanged(); // sets up token marker		// don't fire it for initial mode set		if(oldMode != null)			EditBus.send(new BufferUpdate(this,BufferUpdate.MODE_CHANGED));	}