Issues

Observer:Simple value Display Control

ProB does not release memory after model checking

Enable "Random Operation" Feature in Execute Operation (Multi)

Selecting a connection in the outline view is not synchronized with the editor

Feature: Provide a single dialog for editing observers

BMS: Another copy-paste problem

BMS: Connector Problem

"Cancel" button does not work properly

Visualizations cannot be opened by BMotion Studio Editor.

Feature: Duplication of visualization + Adapt to new machine

#2277 Copy-Paste problem

#1848 Image export problem

#1628 No scroll bar in Scheduler Event Wizard

#1004 Copy/paste error

#1007 Parse error when the ID of a textfield begins with the same string as the ID of an other textfield

#208 React on machine name changes / delete machine files

#1008 Checkboxes can't be checked/unchecked during animation