fireBufferEvent(BufferEvent.MARKERS_CHANGED,this); fireBufferEvent(BufferEvent.DIRTY_CHANGED,this);
fireBufferEvent(BufferEvent.MARKERS_CHANGED); fireBufferEvent(BufferEvent.DIRTY_CHANGED);
	public void removeMarker(String name)	{		if(readOnly)			return;		dirty = !init;loop:		for(int i = 0; i < markers.size(); i++)		{			Marker marker = (Marker)markers.elementAt(i);			if(marker.getName().equals(name))				markers.removeElementAt(i);		}		fireBufferEvent(BufferEvent.MARKERS_CHANGED,this);		fireBufferEvent(BufferEvent.DIRTY_CHANGED,this);	}