fireBufferEvent(BufferEvent.MARKERS_CHANGED); fireBufferEvent(BufferEvent.DIRTY_CHANGED);
EditBus.send(new BufferUpdate(this,BufferUpdate.MARKERS_CHANGED));
	public void removeMarker(String name)	{		setDirty(true);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);		fireBufferEvent(BufferEvent.DIRTY_CHANGED);	}