Difference between revisions of "Extending the project explorer"
From Event-B
Jump to navigationJump to searchimported>Laurent m |
imported>Jens |
||
| Line 1: | Line 1: | ||
| − | The project explorer allows the registration of new file types that should be displayed. | + | '''This information becomes deprecated with Rodin 0.9.2''' |
| + | |||
| + | <s>The project explorer allows the registration of new file types that should be displayed. | ||
This [[Media:Projectexplorer extension example.zip | Demo Plug-in]] ([http://www.stups.uni-duesseldorf.de/~bendisposto/deploy/projectexplorer_extension_example.zip mirror]) demonstrates how to extend the project explorer. After installation, the plug-in shows static checked models and their variables inside the explorer. | This [[Media:Projectexplorer extension example.zip | Demo Plug-in]] ([http://www.stups.uni-duesseldorf.de/~bendisposto/deploy/projectexplorer_extension_example.zip mirror]) 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. | + | 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.</s> |
| − | |||
| − | |||
| − | |||
[[Category:Developer documentation]] | [[Category:Developer documentation]] | ||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] | ||
Revision as of 07:31, 4 February 2009
This information becomes deprecated with Rodin 0.9.2
The project explorer allows the registration of new file types that should be displayed.
This Demo Plug-in (mirror) 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.
