update_font = () => {
		text_tool_font.size = Number($size.val());
		text_tool_font.family = $family.val();
		$G.trigger("option-changed");
	}
@type {JQuery<HTMLSelectElement & { type: "select-one" }>}