| Summary: | [aird editor] aird editor should propose a button to close the session | ||
|---|---|---|---|
| Product: | [Modeling] Sirius | Reporter: | Pierre Guilet <pierre.guilet> |
| Component: | Core | Assignee: | Project inbox <sirius.core-inbox> |
| Status: | CLOSED FIXED | QA Contact: | Julien Dupont <julien.dupont> |
| Severity: | enhancement | ||
| Priority: | P3 | CC: | julien.dupont, pierre-charles.david |
| Version: | 5.0.0 | Keywords: | triaged |
| Target Milestone: | 5.0.1 | ||
| Hardware: | All | ||
| OS: | All | ||
| See Also: |
https://git.eclipse.org/r/98819 https://git.eclipse.org/r/99958 https://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=7c56d9462359c72248a8c70b683f31759665aeb1 https://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=1135c8d186bb86cb574c6f43d06b07c014976923 |
||
| Whiteboard: | aird_editor ux session | ||
|
Description
Pierre Guilet
New Gerrit change created: https://git.eclipse.org/r/98819 New Gerrit change created: https://git.eclipse.org/r/99958 Gerrit change https://git.eclipse.org/r/98819 was merged to [master]. Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=7c56d9462359c72248a8c70b683f31759665aeb1 Documentation must be updated accordingly to the new functionality Gerrit change https://git.eclipse.org/r/99958 was merged to [master]. Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=1135c8d186bb86cb574c6f43d06b07c014976923 Available in Sirius 5.0.1, see https://wiki.eclipse.org/Sirius/5.0.1 for details. |