diff options
author | Wim Jongman | 2013-03-23 21:58:29 +0000 |
---|---|---|
committer | Wim Jongman | 2013-03-23 21:58:29 +0000 |
commit | 74558234ad7674435657a36dff6ad6d32c7b4a39 (patch) | |
tree | 390d6c8bd26aa760eac1499e7b721b14589cce52 /build/org.eclipse.e4.core.tools.update/pom.xml | |
parent | 9a84a8a9b45dd6f28656b07f25d47df9815b3901 (diff) | |
download | org.eclipse.e4.tools-74558234ad7674435657a36dff6ad6d32c7b4a39.tar.gz org.eclipse.e4.tools-74558234ad7674435657a36dff6ad6d32c7b4a39.tar.xz org.eclipse.e4.tools-74558234ad7674435657a36dff6ad6d32c7b4a39.zip |
bug 391086: Search and filter the model editor tree. I20130325-2200I20130324-2200I20130324-0930I20130323-2200
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
Diffstat (limited to 'build/org.eclipse.e4.core.tools.update/pom.xml')
0 files changed, 0 insertions, 0 deletions