search

LPCIC / elpi-lang

visual studio code extension for Elpi
MIT License
8 stars 1 forks source link

wish: less fields in ui #11

Open gares opened 1 year ago

gares commented 1 year ago

I think it would be cleaner to have a watch mode without the fields to pass options, and a run mode with options but no watch buttons