MPS-extensions icon indicating copy to clipboard operation
MPS-extensions copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Diagram Editor: calculation of box size does not consider contained edges

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

edges seem to go out of the box and back in again

till-f avatar Aug 08 '18 08:08 till-f