if(index != oldIndex) { updating = true;
	public void updateBufferTab(Buffer buffer)	{		int index = buffer.getIndex();		// if dirty is now true, we just update the tab's icon,		// otherwise, the name might have changed (dirty = false		// means just saved)		if(buffer.isDirty())		{			setIconAt(index,getIcon(buffer));		}		else		{			int oldIndex = buffers.indexOf(buffer);			if(index != oldIndex)			{				updating = true;				removeBufferTab(buffer);				addBufferTab(buffer);				updating = false;				if(view.getBuffer() == buffer)					selectBufferTab(buffer);			}			else				setIconAt(index,getIcon(buffer));		}	}