[nongnu] elpa/idris-mode updated (ef6768244b -> e1d950e4fc)

[ELPA Syncer]

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

      from  ef6768244b Merge pull request #588 from 
keram/fix-notes-over-code-buffer-on-init
       new  4f654a8b20 Reset Idris working directory on closing idris connection
       new  3508be6919 Comment out `if` statement in 
`idris-possibly-make-dirty` as
       new  505ce46cbf Align idris-load-file and idris-load-file-sync 
`idris-eval`
       new  723e778486 Fix indentation in documentation for 
`idris-semantic-source-highlighting`
       new  c84ed5a733 Remove idris-mode event hooks on closing Idris connection
       new  8a3229cfe9 Merge pull request #589 from keram/minor-impro
       new  ac029bc67e Trim left whitespace from Idris add-clause response
       new  3506c39f5e Merge pull request #590 from 
keram/fix-indent-add-clause-idris2
       new  fd0d7b7918 Make sure the current file is loaded when listing holes
       new  d6f54bb121 Merge pull request #594 from 
keram/list-holes-no-process-main
       new  9e931bf1ff Mark `idris-list-holes-on-load` as obsolete in favour of 
`idris-list-holes`
       new  e1d950e4fc Merge pull request #592 from keram/holes-on-load-hook


Summary of changes:
 idris-commands.el | 49 ++++++++++++++++++++++++-------------------------
 idris-prover.el   |  6 ------
 idris-settings.el | 32 +++++++++++++++++++++++++-------
 idris-tests.el    | 37 +++++++++++++++++++++++++++++++++++--
 inferior-idris.el | 11 ++++++++++-
 5 files changed, 94 insertions(+), 41 deletions(-)