Issues

IllegalStateException in StateView

Resizing Columns not working or strange

Cannot quit ProB2-UI

Cmd+Z (undo) and Cmd+Shift+Z (redo) shortcuts do not work in B editor

After Model Checking the Dot Windows pops in front

State View on Mac still does not highlight changes as bold

B console doesn't scroll to the bottom when a long result causes the scrollbar to appear

The bugreport stage had a bug

Shortcut "Ctrl++" doesn't work

Shortcut for 'Zoom Out' doesn't work