# Also notify the parents (both direct and indirect)
	redef fun notify_observers(event)
	do
		super

		var p = parent
		while p != null do
			p.on_event event
			p = p.parent
		end
	end