名称
dev_close_tool - 关闭指定的工具（助手）。
用法
dev_close_tool( : : ToolId : )
描述
dev_close_tool通过ToolId关闭tool。 ToolID除了使用在打开tool时给予的ToolId，还可以使用在dev_open_tool中使用的名称。 在这种情况下，只要符合ToolID参数的工具都可以使用此算子关闭。
注意
此算子不支持导出
参数
ToolId (input_control) dev_tool → (string)
Tool identifier.
示例（HDevelop）
dev_open_tool ('matching_assistant', 0, 0, 'default','default', ToolId) dev_close_window (ToolId)
结果
如果指定参数的值正确，则dev_open_tool返回2（H_MSG_TRUE）。 否则会引发异常并返回错误代码。
Possible Predecessors
dev_set_tool_geometry, dev_open_tool
Possible Successors
dev_open_tool
See also
dev_show_tool
模块
Foundation
HDevelop例程
dev_open_tool.hdev Open and adjust tools in HDevelop