WidgetToolOptions#
(Tool Options)
- Category:
Edit
- Default object name:
tool_options
- Inherits from: Widget
Description#
Edit the attributes of the currently selected tool.
CID#
class "WidgetToolOptions" "Widget" {
#version 0.9
icon "../icons/object_icons/widget_tool_option.iconrc"
category "Edit"
doc "Edit the attributes of the currently selected tool."
}