Code Editor : tool_type.min.js