Closed djalbat closed 13 hours ago
https://github.com/djalbat/occam-ide/assets/17334729/6703261b-dc60-4cb5-80a8-8c34e7096a0c
It's a problem with the preview pane.
https://github.com/djalbat/occam-ide/assets/17334729/6703261b-dc60-4cb5-80a8-8c34e7096a0c