The options fields for kompile and krun are not editable

[cos]

I tried using both Safari and Chrome on a mac.

[kheradmand]

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]

@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]

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 👍

[pdaian]

Sounds good, thanks!

[cos]

Thanks!