search

djalbat / occam-ide

Occam/s IDE
Other
1 stars 0 forks source link

Adjustments to the settings pane #203

Closed djalbat closed 1 month ago

djalbat commented 1 month ago

https://github.com/user-attachments/assets/0cb0e30d-37eb-495e-b8d1-ab87b808cf68