Function clearScrollbarScrollLock

src/lib/editorManager.js:2453–2457

()

	}

	function clearScrollbarScrollLock() {
		scrollbarScrollLockUntil = 0;
		scrollbarScrollLockTop = null;
		scrollbarScrollLockLeft = null;
	}

	function restoreScrollbarScrollLock() {
		if (Date.now() >= scrollbarScrollLockUntil) {