Operators |
dev_close_tool — Close the specified tool.
dev_close_tool( : : ToolId : )
dev_close_tool closes the tool with the ToolId. Instead of using the ToolId, given during opening the tool, you can use the name that has to be used in dev_open_tool. In that case a arbitrary tool, which fits the parameter ToolId, is used.
This operator is not supported for code export.
Tool identifier.
dev_open_tool ('matching_assistant', 0, 0, 'default','default', ToolId) dev_close_window (ToolId)
If the values of the specified parameters are correct, dev_open_tool returns 2 (H_MSG_TRUE). Otherwise an exception is raised and an error code returned.
dev_set_tool_geometry, dev_open_tool
Foundation
Operators |