Summary: | Improve the org.eclipse.sirius.ui.uiSessionFactory extension point | ||
---|---|---|---|
Product: | [Modeling] Sirius | Reporter: | Florent Latombe <florent.latombe> |
Component: | Core | Assignee: | Project inbox <sirius.core-inbox> |
Status: | NEW --- | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | CC: | laurent.fasani |
Version: | 5.0.0 | Keywords: | triaged |
Target Milestone: | --- | ||
Hardware: | PC | ||
OS: | Windows 7 | ||
Whiteboard: |
Description
Florent Latombe
2017-06-26 10:50:16 EDT
1)Effectively, the override attribute should be an identifier as it overrides the id attribute of the extension. Note that, currently, the id attribute is declared as string and should also be a identifier. 3)Yes "Ideally, one should be able to specify several IDs to override." but it is very easy to define as many extension elements as extension you want to override especially because there are few extensions to override. In conclusion, your request is valid but will have a very low priority for the next releases. I do not rule out neither the fact that this ticket could be closed as "won't fix". I will let the product manager state. |