fireBufferEvent(BufferEvent.MARKERS_CHANGED,this); fireBufferEvent(BufferEvent.DIRTY_CHANGED,this);
fireBufferEvent(BufferEvent.MARKERS_CHANGED); fireBufferEvent(BufferEvent.DIRTY_CHANGED);
	public void addMarker(String name, int start, int end)	{		if(readOnly && !init)			return;		dirty = !init;		name = name.replace(';',' ');		Marker markerN;		try		{			markerN = new Marker(name,createPosition(start),				createPosition(end));		}		catch(BadLocationException bl)		{			return;		}		if(!init)		{			for(int i = 0; i < markers.size(); i++)			{				Marker marker = (Marker)markers.elementAt(i);				if(marker.getName().equals(name))				{					markers.setElementAt(markerN,i);					break;				}				if(marker.getStart() > start)				{					markers.insertElementAt(markerN,i);					return;				}			}		}		markers.addElement(markerN);		fireBufferEvent(BufferEvent.MARKERS_CHANGED,this);		fireBufferEvent(BufferEvent.DIRTY_CHANGED,this);	}