setDirty(true);
if(!jEdit.getBooleanProperty("persistentMarkers")) setDirty(true);
	public void removeMarker(int line)	{		Element map = getDefaultRootElement();		for(int i = 0; i < markers.size(); i++)		{			Marker marker = (Marker)markers.elementAt(i);			if(map.getElementIndex(marker.getPosition()) == line)			{				setDirty(true);				markers.removeElementAt(i);				i--;			}		}		EditBus.send(new BufferUpdate(this,null,			BufferUpdate.MARKERS_CHANGED));	}