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