Extending the project explorer: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jens New page: The project explorer allows to register new filetypes that should be displayed. This [http://www.stups.uni-duesseldorf.de/~bendisposto/deploy/projectexplorer_extension_example.zip Demo Pl... |
imported>Mathieu m Categories |
||
| Line 4: | Line 4: | ||
Note, that this is for demonstration only! We selected the static checked files, because we do not want to spoil the project explorer extension with a lot of overhead to define our own file types. | Note, that this is for demonstration only! We selected the static checked files, because we do not want to spoil the project explorer extension with a lot of overhead to define our own file types. | ||
[[Category:Developper Documentation]] | |||
[[Category:Rodin Platform]] | |||
Revision as of 11:01, 10 July 2008
The project explorer allows to register new filetypes that should be displayed.
This Demo Plug-in demonstrates how to extend the project explorer. After installation, the plug-in shows static checked models and their variables inside the explorer.
Note, that this is for demonstration only! We selected the static checked files, because we do not want to spoil the project explorer extension with a lot of overhead to define our own file types.
