windowManager.js: port window effects in new file windowEffects.js
	simplified window effects start / end
	stricter window effect canceling / restoring