tree 390d6c8bd26aa760eac1499e7b721b14589cce52
parent 9a84a8a9b45dd6f28656b07f25d47df9815b3901
author Wim Jongman <wim.jongman@remainsoftware.com> 1364075909 +0100
committer Wim Jongman <wim.jongman@remainsoftware.com> 1364075909 +0100

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