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

Diagram Editor: API to customize diagram buttons #103

Closed
till-f opened this issue Aug 8, 2018 · 2 comments
Closed

Diagram Editor: API to customize diagram buttons #103

till-f opened this issue Aug 8, 2018 · 2 comments

Comments

@till-f
Copy link

till-f commented Aug 8, 2018

An API is needed so that application developers can easily customize the buttons shown in the diagram (remove/add buttons, customize size and position). Consider using IntelliJ toolbar (shown/hidden when diagram is focused) or an embedded toolbar (shown/hidden when mouse is over diagram) instead of the currently drawn buttons (they are too small and not placed well)

@till-f till-f changed the title API to customize diagram buttons Diagram Editor: API to customize diagram buttons Aug 8, 2018
@slisson slisson mentioned this issue Sep 13, 2018
66 tasks
@alexanderpann
Copy link
Collaborator

At least for shown/hiding the buttons, we have a style attribute for each button e.g. __maximize-diagram-button.

@alexanderpann
Copy link
Collaborator

We decided against buttons in the toolbar since it can be confusing which diagram they affect if you have subdiagrams.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants