Function setQuicktoolsUsed

src/handlers/quickTools.js:847–853

()

}

function setQuicktoolsUsed() {
	clearTimeout(quickToolUsedTimeout);
	quickToolUsed = true;
	quickToolUsedTimeout = setTimeout(() => {
		quickToolUsed = false;
	}, 500);
}