| Summary: | platform:/plugin/ not used for applicationXMI | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Lars Vogel <Lars.Vogel> |
| Component: | UI | Assignee: | Paul Webster <pwebster> |
| Status: | VERIFIED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | Lars.Vogel, pwebster, Rene.Brandstetter |
| Version: | 4.2 | ||
| Target Milestone: | 4.4 M4 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Bug Depends on: | |||
| Bug Blocks: | 371027 | ||
|
Description
Lars Vogel
I'd be fine with accepting a platform:/plugin parameter as well as the common "it's in my product plugin" case. PW Similar to Bug 371027, maybe Rene wants to take this one too. (In reply to Lars Vogel from comment #2) > Similar to Bug 371027, maybe Rene wants to take this one too. Yes I will try to find a solution until next week. (In reply to René Brandstetter from comment #3) > (In reply to Lars Vogel from comment #2) > > Similar to Bug 371027, maybe Rene wants to take this one too. > > Yes I will try to find a solution until next week. Any update from you René? Sorry, I've forgotten to take a look. I've put a fix on Gerrit, please have a look at: https://git.eclipse.org/r/19153 Released as http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=4cd7ec0c141090944df560bae0c6cbc8524b5020 Thanks René. PW In 4.4.0.I20131209-2000 PW |