search

kframework / kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
5 stars 5 forks source link

The options fields for kompile and krun are not editable #22

Closed cos closed 9 years ago

cos commented 9 years ago

I tried using both Safari and Chrome on a mac.

kheradmand commented 9 years ago

I made them editable again. I do not know whether @pdaian has purposefully made them not editable or it was a mistake. therefore I let the issue open until @pdaian closes it.

pdaian commented 9 years ago

@kheradmand I don't remember changing this, so whatever change you made is fine (as long as the core code on GH is also right).

Thanks for the help!

kheradmand commented 9 years ago

actually I have added a new argument to the config file ('edit_args') that defaults to false. I made proper changes in sample config file but I hadn't changed server's config. Now everything is fine :+1:

pdaian commented 9 years ago

Sounds good, thanks!

cos commented 9 years ago

Thanks!