pause

	# Pause the sound
	fun pause do end

lib/app/audio.nit:49,2--50,17

	redef fun pause do
		if self.error != null or not self.is_loaded then return
		soundpool.pause_stream(soundpool_id)
		paused = true
	end

lib/android/audio.nit:583,2--587,4

	redef fun pause do mix.pause_music

lib/linux/audio.nit:128,2--35

	redef fun pause do
		if self.error != null or not self.is_loaded then return
		media_player.pause
		paused = true
	end

lib/android/audio.nit:657,2--661,4

fun pause