Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add the possibility to not display the header separator with diagram core API #2516

Closed
gcoutable opened this issue Oct 30, 2023 · 0 comments · Fixed by #2536
Closed

Add the possibility to not display the header separator with diagram core API #2516

gcoutable opened this issue Oct 30, 2023 · 0 comments · Fixed by #2536
Assignees
@gcoutable
Labels
difficulty: medium package: diagrams type: feature request
Milestone
2023.12.0

Comments

@gcoutable
Copy link
Contributor

A property displayHeaderSeparator will be added to the InsideLabel and InsideLabelDescription (programmatic API only).

Do not add to much padding when the separator is not displayed.
@gcoutable gcoutable added this to the 2023.12.0 milestone Oct 30, 2023
@gcoutable gcoutable self-assigned this Oct 30, 2023
@gcoutable gcoutable changed the title It should be possible not to display the inside label header separator Add the possibility to not display the header separator with diagram core API Nov 7, 2023
gcoutable added a commit that referenced this issue Nov 7, 2023
@gcoutable
[2516] Improve the diagram core API to hide the header separator
cb83e2f 
Bug: #2516
Signed-off-by: Guillaume Coutable <guillaume.coutable@obeo.fr>
@gcoutable gcoutable linked a pull request Nov 7, 2023 that will close this issue
[2516] Improve the diagram core API to hide the header separator #2536
Merged
39 tasks
gcoutable added a commit that referenced this issue Nov 7, 2023
@gcoutable
[2516] Improve the diagram core API to hide the header separator
649a0be 
Bug: #2516
Signed-off-by: Guillaume Coutable <guillaume.coutable@obeo.fr>
gcoutable added a commit that referenced this issue Nov 8, 2023
@gcoutable
[2516] Improve the diagram core API to hide the header separator
e7b9bdc 
Bug: #2516
Signed-off-by: Guillaume Coutable <guillaume.coutable@obeo.fr>
gcoutable added a commit that referenced this issue Nov 8, 2023
@gcoutable
[2516] Improve the diagram core API to hide the header separator
8d99a39 
Bug: #2516
Signed-off-by: Guillaume Coutable <guillaume.coutable@obeo.fr>
gcoutable added a commit that referenced this issue Nov 8, 2023
@gcoutable
[2516] Improve the diagram core API to hide the header separator
46b869f 
Bug: #2516
Signed-off-by: Guillaume Coutable <guillaume.coutable@obeo.fr>
gcoutable added a commit that referenced this issue Nov 8, 2023
@gcoutable
[2516] Improve the diagram core API to hide the header separator
cdc3f59 
Bug: #2516
Signed-off-by: Guillaume Coutable <guillaume.coutable@obeo.fr>
gcoutable added a commit that referenced this issue Nov 8, 2023
@gcoutable
[2516] Improve the diagram core API to hide the header separator
97639c5 
Bug: #2516
Signed-off-by: Guillaume Coutable <guillaume.coutable@obeo.fr>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gcoutable gcoutable

Labels
difficulty: medium package: diagrams type: feature request
Projects
None yet
Milestone
2023.12.0
Development

Successfully merging a pull request may close this issue.

[2516] Improve the diagram core API to hide the header separator eclipse-sirius/sirius-web
1 participant
@gcoutable