| commit | 5f6ef297e169fbfd3ec93e9e04f8b45fcc3dcc70 | [log] [tgz] |
|---|---|---|
| author | mwenz <mwenz> | Tue Sep 07 14:09:58 2010 +0000 |
| committer | mwenz <mwenz> | Tue Sep 07 14:09:58 2010 +0000 |
| tree | 149cb86cc5d6a9492c29ed168cb250855924a133 | |
| parent | b4b73890ef445bdf24b6951d81609ee8c3a07eb4 [diff] |
Removed possibility of setting a different icon for an editor by DiagramTypeProvider (must be done in plugin.xml by defining an editor for the tool)
