if(buffer != null) view.setBuffer(buffer);
Magic comp = (Magic)getSelectedComponent(); if(comp != null) comp.select();
		public void stateChanged(ChangeEvent evt)		{			if(updating)				return;			int index = getSelectedIndex();			Buffer buffer = jEdit.getFirstBuffer();			while(buffer != null)			{				if(index == 0)					break;				buffer = buffer.getNext();				index--;			}			if(buffer != null)				view.setBuffer(buffer);		}