| commit | 74558234ad7674435657a36dff6ad6d32c7b4a39 | [log] [tgz] |
|---|---|---|
| author | Wim Jongman <wim.jongman@remainsoftware.com> | Sat Mar 23 22:58:29 2013 +0100 |
| committer | Wim Jongman <wim.jongman@remainsoftware.com> | Sat Mar 23 22:58:29 2013 +0100 |
| tree | 390d6c8bd26aa760eac1499e7b721b14589cce52 | |
| parent | 9a84a8a9b45dd6f28656b07f25d47df9815b3901 [diff] |
bug 391086: Search and filter the model editor tree. The filtered tree can now be switched on with java argument: -Dorg.eclipse.e4.tools.modeleditor.filteredtree.enabled.xmitab.disabled This will enable the filtered tree but disable editing in the XMI tab. This is a temp fix until we either solve the root cause or can set preferences in some way. https://bugs.eclipse.org/bugs/show_bug.cgi?id=391086