changelog:v3.2.2
Workcraft v3.2.2 (2019-02-01)
Usability improvements
Keyboard navigation (arrows), action (Enter), cancellation (Esc) for popup menus.
Dot layout for hierarchical graphs – pages and groups are treated as Dot clusters.
Put long property names in a tooltip – it appears when the mouse is hoovered over the property.
Paste clipboard in mouse cursor coordinates.
Anonymisation of models via Transformation→Anonymise command.
More distinguishable state of navigation buttons for Simulation tool (new icons).
Improvements for Selection and Connection tools:
Hold Shift for dragging parallel to axes, i.e. either horizontally or vertically.
Hold Shift for creating a polyline connection segment parallel to axes.
While creating a new polyline connection, hit Backspace or Delete to remove the last anchor point.
Digital Circuit plugin
Check circuit for non-quiescent initial state.
Popup menu command to remove unused pins of a component.
Structural checks in combined verification of several properties. This is to filter out those properties that cannot be verified (e.g. due to presence of dummies) or vacuously hold (e.g. due to absence of mutexes).
Fixes and technical stuff
A workaround to prevent corrupted export to graphical formats using Batik.
Save and restore alpha channel of color property.
Stronger types in Node, Connection, Model, Serializer/Deserializer, and Property interfaces.
Copyright © 2014-2021 workcraft.org