Issues
- Translation failsPROBPLUGIN-80Resolved issue: PROBPLUGIN-80Sebastian Krings
- Observer:Simple value Display ControlPROBPLUGIN-78Resolved issue: PROBPLUGIN-78Lukas Ladenberger
- ProB does not release memory after model checkingPROBPLUGIN-74Resolved issue: PROBPLUGIN-74Joy Clark
- Enable "Random Operation" Feature in Execute Operation (Multi)PROBPLUGIN-53Resolved issue: PROBPLUGIN-53Lukas Ladenberger
- Selecting a connection in the outline view is not synchronized with the editorPROBPLUGIN-47Resolved issue: PROBPLUGIN-47Lukas Ladenberger
- Feature: Provide a single dialog for editing observersPROBPLUGIN-42Resolved issue: PROBPLUGIN-42Lukas Ladenberger
- BMS: Another copy-paste problemPROBPLUGIN-40Resolved issue: PROBPLUGIN-40Lukas Ladenberger
- BMS: Connector ProblemPROBPLUGIN-39Resolved issue: PROBPLUGIN-39Lukas Ladenberger
- "Cancel" button does not work properlyPROBPLUGIN-33Resolved issue: PROBPLUGIN-33Lukas Ladenberger
- Visualizations cannot be opened by BMotion Studio Editor.PROBPLUGIN-27Resolved issue: PROBPLUGIN-27Lukas Ladenberger
- Feature: Duplication of visualization + Adapt to new machinePROBPLUGIN-19Resolved issue: PROBPLUGIN-19Lukas Ladenberger
- #2277 Copy-Paste problemPROBPLUGIN-11Resolved issue: PROBPLUGIN-11Lukas Ladenberger
- #1848 Image export problemPROBPLUGIN-8Resolved issue: PROBPLUGIN-8Lukas Ladenberger
- #1628 No scroll bar in Scheduler Event WizardPROBPLUGIN-7Resolved issue: PROBPLUGIN-7Lukas Ladenberger
- #1004 Copy/paste errorPROBPLUGIN-5Resolved issue: PROBPLUGIN-5Lukas Ladenberger
- #1007 Parse error when the ID of a textfield begins with the same string as the ID of an other textfieldPROBPLUGIN-4Resolved issue: PROBPLUGIN-4Lukas Ladenberger
- #208 React on machine name changes / delete machine filesPROBPLUGIN-3Resolved issue: PROBPLUGIN-3Lukas Ladenberger
- #1008 Checkboxes can't be checked/unchecked during animationPROBPLUGIN-2Resolved issue: PROBPLUGIN-2Lukas Ladenberger
18 of 18