selectBufferTab(buffer);
	public void updateBufferTab(Buffer buffer)	{		// 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())		{			int index = buffer.getIndex();			setIconAt(index,getIcon(buffer));		}		else		{			updating = true;			removeBufferTab(buffer);			addBufferTab(buffer);			selectBufferTab(buffer);			updating = false;			if(view.getBuffer() == buffer)				selectBufferTab(buffer);		}	}