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.

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

Add a Minimap to diagrams #4356

Closed
gcoutable opened this issue Dec 31, 2024 · 0 comments · Fixed by #4357
Closed

Add a Minimap to diagrams #4356

gcoutable opened this issue Dec 31, 2024 · 0 comments · Fixed by #4357

Comments

@gcoutable
Copy link
Member

No description provided.

@gcoutable gcoutable added this to the 2025.2.0 milestone Dec 31, 2024
@gcoutable gcoutable self-assigned this Dec 31, 2024
gcoutable added a commit that referenced this issue Dec 31, 2024
Bug: #4356
Signed-off-by: Guillaume Coutable <[email protected]>
@gcoutable gcoutable linked a pull request Dec 31, 2024 that will close this issue
39 tasks
pcdavid pushed a commit that referenced this issue Jan 3, 2025
Bug: #4356
Signed-off-by: Guillaume Coutable <[email protected]>
pcdavid pushed a commit that referenced this issue Jan 3, 2025
Bug: #4356
Signed-off-by: Guillaume Coutable <[email protected]>
Signed-off-by: Pierre-Charles David <[email protected]>
pcdavid pushed a commit that referenced this issue Jan 3, 2025
Bug: #4356
Signed-off-by: Guillaume Coutable <[email protected]>
Signed-off-by: Pierre-Charles David <[email protected]>
pcdavid pushed a commit that referenced this issue Jan 3, 2025
Bug: #4356
Signed-off-by: Guillaume Coutable <[email protected]>
Signed-off-by: Pierre-Charles David <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant