Extending the project explorer

From Event-B
Revision as of 13:23, 29 January 2009 by imported>Laurent
Jump to navigationJump to search

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.


The new extension point is currently only available in the cvs version