Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. [517436] Fix an issue with the filter of TabElementTreeSelectionDialog (details)
Commit 006ad47db20cd95034960f2ced29ea94e05f5762 by Stephane Begaudeau
[517436] Fix an issue with the filter of TabElementTreeSelectionDialog

Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=517436
Change-Id: I2918c008f27a4b9fd643455521c281c636fdbd08
Signed-off-by: Stéphane Bégaudeau <stephane.begaudeau@obeo.fr>
The file was modified plugins/org.eclipse.emf.eef.runtime/src/org/eclipse/emf/eef/runtime/ui/widgets/TabElementTreeSelectionDialog.java