A widget with a combobox and a checkbox for selecting tools by name and triggering their use (which is specified in the respective plugin) with a checkbox.
Description
Description
Event Timeline
Comment Actions
[b6debd]: Merge branch 'bug-10200-ToolSelectionWidgetInitial'
Merged commits:
2011-11-21 12:41:22 Paul Mercea [ccfe49]
Initial commit of ToolSelectionWidget