JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.
https://jetbrains.github.io/MPS-extensions/
Apache License 2.0
80 stars 49 forks source link

Extend diagrams with a select-all plugin #688

Closed HeikoBecker closed 9 months ago

HeikoBecker commented 9 months ago

Previously, pressing Ctrl+A in a diagram label would select every node up until the including root node.

This PR adds a new plugin that fixes this issue. The key functionality was provided by @slisson, I have only fixed remaining bugs.

The last selection in the video below shows the limitations of the plugin, where only label cells are supported currently.

Peek 2023-11-10 12-24