HowTo Create Tools
This is version
1
2
. It is not the current version, and thus it cannot be edited.
Back to current version
Restore this version
Todo
Close and move
Defer and move
Help: Todo
Describe the Tool mechansims of KnowWE (DefaultTool, ToolProvider etc.)
Custom
RightPanel