[nongnu] elpa/idris-mode updated (8933ab84f9 -> 1adee4fe06)

[ELPA Syncer]

elpasync pushed a change to branch elpa/idris-mode.

      from  8933ab84f9 Merge pull request #556 from keram/kill-buf-and-win-main
       new  d1a9171fd7 Jump to last Idris Code buffer when we quit buffer
       new  cba57f7ff4 Merge pull request #557 from keram/jump-back-on-quit
       new  103f1e5fbf Add ability to quickly switch from Idris repl to
       new  e7e2a6c3bc Remove dependency on if-let* defined in subr-x
       new  7a0b5c736d Merge pull request #558 from keram/jump-to-file-from-repl
       new  e1fd68e494 Revert removal of s flag from interactive.
       new  bc44e934f8 Stop CI run?
       new  1adee4fe06 Merge pull request #560 from keram/interactive-s-flag


Summary of changes:
 idris-commands.el     | 28 ++++++++++++++++++++++++----
 idris-common-utils.el |  7 +++++--
 idris-repl.el         |  3 +++
 idris-tests.el        | 11 +++++++++++
 4 files changed, 43 insertions(+), 6 deletions(-)