Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 548303

Summary:	ContextModel filter fail to remove ContextElement mapping
Product:	[Eclipse Project] Platform	Reporter:	Paul Pazderski <paul-eclipse>
Component:	UI	Assignee:	Paul Pazderski <paul-eclipse>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	daniel_megert
Version:	4.13
Target Milestone:	4.13 M1
Hardware:	All
OS:	All
See Also:	https://git.eclipse.org/r/144103 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=a1a2c2c4ad2b694da4ef79468ccd3f55536d059b
Whiteboard:

Description Paul Pazderski

2019-06-15 13:26:38 EDT

Revealed through bug 521922 comment 17. The mapping remove in ContextModel#filterContexts can never succeed.

Comment 1 Eclipse Genie

2019-06-15 13:27:54 EDT

New Gerrit change created: https://git.eclipse.org/r/144103

Comment 2 Eclipse Genie

2019-06-17 14:05:36 EDT

Gerrit change https://git.eclipse.org/r/144103 was merged to [master].
Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=a1a2c2c4ad2b694da4ef79468ccd3f55536d059b