I've opened https://bugs.eclipse.org/bugs/show_bug.cgi?id=281204 and we should add the 3 plugins into HEAD this week.
org.eclipse.ui.navigator org.eclipse.ui.navigator.resources org.eclipse.ui.tests.navigator PW -- Paul Webster Hi floor. Make me a sammich! - GIR _______________________________________________ e4-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/e4-dev
