Reuse Workcraft instance when opening .work files from file browser (for this a command line parameter -port:<PORT>
should be set to define the socket port for interprocess communication)
Prevent creating nodes on top of other nodes, including groups, pages and connections
Persistent window size for file dialogs
Distinguish MPSat output for empty-trace solution and no-trace solution in the property violation report: [empty trace]
and [no trace]
grey text is used, respectively.
User-defined color for PNG export via Edit→Preferences…→Editor→Background color for PNG export (transparent by default)
Restructured Editor and Visual sections of global preferences