Support more options in conversion of `set-option` from sexp to command.

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language

http://idris-lang.org

Other

3.44k stars 644 forks source link

Support more options in conversion of `set-option` from sexp to command. #1611

Open jfdm opened 10 years ago

jfdm commented 10 years ago

In the function sexpToCommand in src/Idris/IdeSlave.hs the list of options converted from sexp to a command is not complete. More options should be supported.

clayrat commented 7 years ago

IdeSlave.hs has been renamed to IdeMode.hs.