if(!init) { updateStatus(); updateBufferMenus(); }
	public void setMode(Mode mode)	{		if(this.mode != null)			this.mode.leave(this);		this.mode = mode;		if(!init)		{			updateStatus();			updateBufferMenus();		}		if(mode == null)		{			tokenMarker = null;		}		else		{			setTokenMarker(mode.createTokenMarker());			colors.clear();			mode.enter(this);		}	}