Workcraft v3.0.2 (2014-11-15)
More options for zooming and panning the editor window
All zooming and panning commands are added to the
Zoom to the default scale without changing the viewport position (
menu item or
Fit the selection (or the whole graph if nothing is selected) to screen (
View→Fit selection to screen
Centre the selection (or the whole model if nothing is selected) preserving the scale (
Asterisk is added to the tab title when the work is modified.
Help and tutorials are updated.
Model and tool plugins
Signal Transition Graph plugin
Contraction of transitions (
Tools→Transformations→Contract selected transitions
Conversion between dummy and signal transitions (
Tools→Transformations→Convert selected dummies/signal transitions
Implicit places are made hidden after import from .g file.
Improved conversion of
places between explicit and implicit styles. Polyline connections preserve their shape after these transformations.
Allow Ctrl+double_click to toggle marking of implicit and explicit places.
Specialised MPSat command line parameters are added to CSC conflict resolution.
When inserting a node into a connection, its desired position is fetched from the Connection Tool and the shape of the split connections is derived from the polyline of the original connection.
Connections scale mode is set to LOCKED by default.
Transformation of connections nested in pages and groups is corrected.
Fixes and technical stuff
Environment variables JAVA_HOME and JAVA_BIN are checked in the runner script.
Bug fix for inconsistency between simulation and deadlock verification.
Fix of incorrect restoration of main and branch simulation traces.
Workaround for Java 7 bug - ClassCastException in LayoutComparator.
SelectionHelper class for analysis and alteration of the collection of selected nodes.
ConnectionHelper class for common modifications of VisualConnection geometry.
Native browse/open/edit commands are attempted before falling back for Desktop