jEdit.fireEditorEvent(new EditorEvent(EditorEvent .BUFFER_DIRTY_CHANGED,null,this));
fireBufferEvent(new BufferEvent(BufferEvent.DIRTY_CHANGED,this));
	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(new BufferEvent(BufferEvent.MARKERS_CHANGED,this));		jEdit.fireEditorEvent(new EditorEvent(EditorEvent			.BUFFER_DIRTY_CHANGED,null,this));	}