Folds are not being merged in ordered lists - Githubissues

djalbat / occam-ide

Occam/s IDE

Other

1 stars 0 forks source link

Folds are not being merged in ordered lists #142

Closed djalbat closed 4 months ago

djalbat commented 4 months ago

https://github.com/djalbat/occam-ide/assets/17334729/71adb05b-79d6-4c73-8a50-8580140c9fb3