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

The fade and hide tools are available on the background of the diagram #1674

Closed
sbegaudeau opened this issue Feb 3, 2023 · 0 comments · Fixed by #1743
Closed

The fade and hide tools are available on the background of the diagram #1674

sbegaudeau opened this issue Feb 3, 2023 · 0 comments · Fixed by #1743
Assignees
@AxelRICHARD
Labels
difficulty: starter good first issue package: diagrams type: bug
Milestone
2023.4.0

Comments

@sbegaudeau
Copy link
Member

No description provided.

@AxelRICHARD AxelRICHARD self-assigned this Feb 21, 2023
AxelRICHARD added a commit that referenced this issue Feb 21, 2023
@AxelRICHARD
[1674] Fix fade/hide tools are available on the diagram background
a3cc766 
Bug: #1674
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
@AxelRICHARD AxelRICHARD mentioned this issue Feb 21, 2023
Merged
39 tasks
@sbegaudeau sbegaudeau added this to the 2023.4.0 milestone Feb 23, 2023
@sbegaudeau sbegaudeau linked a pull request Feb 23, 2023 that will close this issue
[1674] Fix fade/hide tools are available on the diagram background #1743
Merged
39 tasks
sbegaudeau pushed a commit that referenced this issue Feb 24, 2023
@AxelRICHARD @sbegaudeau
[1674] Fix fade/hide tools are available on the diagram background
a55cda4 
Bug: #1674
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
sbegaudeau pushed a commit that referenced this issue Feb 24, 2023
@AxelRICHARD @sbegaudeau
[1674] Fix fade/hide tools are available on the diagram background
8cdbe11 
Bug: #1674
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@AxelRICHARD AxelRICHARD

Labels
difficulty: starter good first issue package: diagrams type: bug
Projects
None yet
Milestone
2023.4.0
Development

Successfully merging a pull request may close this issue.

[1674] Fix fade/hide tools are available on the diagram background eclipse-sirius/sirius-web
2 participants
@sbegaudeau @AxelRICHARD