Function select_tools

src/functions.js:2877–2882

* @param {Tool[]} tools

(tools)

 * @param {Tool[]} tools
 */
function select_tools(tools) {
	for (let i = 0; i < tools.length; i++) {
		select_tool(tools[i], i > 0);
	}
	update_helper_layer();
}

/**
 * @param {Tool} tool