MPS-extensions icon indicating copy to clipboard operation
MPS-extensions copied to clipboard
verified publisher icon JetBrains

Diagram Editor: API to customize diagram buttons

Open till-f opened this issue 7 years ago • 0 comments

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 avatar Aug 08 '18 08:08 till-f