| Operators |
dev_set_tool_geometry — Sets the position and size of the specified tool.
dev_set_tool_geometry sets the position and dimension of the tool with the id 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.
The parameters Row and Column can be used to modify the position of the tool. In order to unmodify the position 'default' can be passed.
The parameters Width and Height can be used to modify the size of the tools. In order to unmodify the size 'default' can be passed. If Width and Height are less than the minimum size of the tool the minimum size is used.
This operator is not supported for code export.
Tool identifier.
Row index of upper left corner.
Default value: 'default'
Minimum increment: 1
Recommended increment: 1
Column index of upper left corner.
Default value: 'default'
Minimum increment: 1
Recommended increment: 1
Width of the tool.
Default value: 'default'
Minimum increment: 1
Recommended increment: 1
Restriction: Width > 0
Height of the tool.
Default value: 'default'
Minimum increment: 1
Recommended increment: 1
Restriction: Height > 0
dev_open_tool ('zoom_window', 0, 0, Width, 'default', ToolId)
dev_close_tool (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.
Foundation
| Operators |