case DIRTY_CHANGED: l.bufferDirtyChanged(this); break;
	public void fire(AbstractEditorListener listener)	{		if(!(listener instanceof BufferListener))			return;		BufferListener l = (BufferListener)listener;		switch(id)		{		case MARKERS_CHANGED:			l.bufferMarkersChanged(this);			break;		case LINESEP_CHANGED:			l.bufferLineSepChanged(this);			break;		case MODE_CHANGED:			l.bufferModeChanged(this);			break;		default:			// shouldn't happen			throw new InternalError();		}	}