Function animate

src/handlers/editorFileTab.js:399–404

()

	return animate();

	function animate() {
		const scroll = getScroll();
		if (!scroll) return;
		prevScrollLeft = $parent.scrollLeft += scroll;
		animationFrame = requestAnimationFrame(animate);
	}
}

/**