System.err.println("selecting " + buffer + " : " + index + " (current=" + selectedIndex + ")");
	public void selectBufferTab(Buffer buffer)	{		int index = buffer.getIndex();		int selectedIndex = getSelectedIndex();		if(index == selectedIndex)			update();		else			setSelectedIndex(index);	}