setDirty(true);
if(!jEdit.getBooleanProperty("persistentMarkers")) setDirty(true);
	public void removeAllMarkers()	{		setDirty(true);		markers.removeAllElements();		EditBus.send(new BufferUpdate(this,null,			BufferUpdate.MARKERS_CHANGED));	}