Diagram Editor

The View menu has been extended with Arrange actions, allowing layout of connectors (centered between roles) and ports (arranged close to attached roles).

Arrange ports (before) Arrange ports (after)
Arrange connectors(before) Arrange connectors (after)

Infrastructure

Images for tools and menu items have been overhauled, e.g. , , .

Various bugs have been fixed in the type checker, and its performance has been improved.

We have improved, though not completed, the function subeditor of the Family editor