Notice the registered ProgessionListener that the operation is done.

Property definitions

progression $ Trackable :: fire_done
	# Notice the registered `ProgessionListener` that the operation is done.
	protected fun fire_done do
		for l in progression_listeners do
			l.progressed(l.progression_max)
			l.done
		end
	end
lib/progression/progression.nit:41,2--47,4