From Optflux
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 167: | Line 167: | ||
** '''/>''' - close the operation description | ** '''/>''' - close the operation description | ||
* '''</extension>''' - close the declaration of the new extension | * '''</extension>''' - close the declaration of the new extension | ||
− | |||
− | |||
− | |||
=== WORKBENCH: aibench.workbench.view (To declare new views or other graphical components) === | === WORKBENCH: aibench.workbench.view (To declare new views or other graphical components) === | ||
Several additions can be made to the workbench through this extension point. | Several additions can be made to the workbench through this extension point. | ||
− | |||
− | |||
==== Adding a new view for a datatype ==== | ==== Adding a new view for a datatype ==== | ||
Line 200: | Line 195: | ||
** '''/>''' - close the view description | ** '''/>''' - close the view description | ||
* '''</extension>''' - close the declaration of the new extension | * '''</extension>''' - close the declaration of the new extension | ||
− | |||
− | |||
==== Adding a new operation icon ==== | ==== Adding a new operation icon ==== | ||
Line 220: | Line 213: | ||
** '''<icon-operation''' - beginning the operation icon description | ** '''<icon-operation''' - beginning the operation icon description | ||
*** '''operation="myplugin_mymapoperation""''' - The UID of the operation to which we want to define a new icon | *** '''operation="myplugin_mymapoperation""''' - The UID of the operation to which we want to define a new icon | ||
− | *** '''icon="icons/exec.png"''' - The path to | + | *** '''icon="icons/exec.png"''' - The path to icon (relative to the root of the plugin source folder) |
** '''/>''' - close the operation icon description | ** '''/>''' - close the operation icon description | ||
* '''</extension>''' - close the declaration of the new extension | * '''</extension>''' - close the declaration of the new extension | ||
− | |||
− | |||
==== Adding a new datatype icon ==== | ==== Adding a new datatype icon ==== | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
==== Adding a custom-made GUI for an operation (override default dynamic generation of input dialog) ==== | ==== Adding a custom-made GUI for an operation (override default dynamic generation of input dialog) ==== | ||
− | |||
− |