dev_close_tool — 关闭指定的浮动工具窗口。
dev_close_tool( : : ToolId : )
dev_close_tool 用于关闭具有指定 ToolId 的工具。除了使用打开工具时传入的 ToolId 之外,您还可以使用在 dev_open_tool 中指定的名称。在这种情况下,系统将使用任何符合
ToolId 参数的工具。
此算子仅适用于单个浮动工具,即既未停靠也未以标签形式显示的工具。
此算子不支持代码导出。
ToolId (输入控制) dev_tool → (string)
工具标签符。
dev_open_tool ('matching_assistant', 0, 0, 'default','default', ToolId)
dev_close_tool (ToolId)
如果指定参数的值正确,dev_open_tool 返回 2 (H_MSG_TRUE)。否则,将抛出一个异常并返回错误代码。
dev_set_tool_geometry,
dev_open_tool
基础