[nongnu] elpa/idris-mode updated (2e4b5c6a97 -> edc2f60c75)

[ELPA Syncer]

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

      from  2e4b5c6a97 [ admin ] Updates to the CHANGELOG.
       new  8d69b70432 Update semantic highlighting code in line with the 
update IDE protocol
       new  e3d1266db6 Fix more 'bounds' to spec in newer IDE protocols
       new  fce35c4349 Move idris-protocol-version vars and access function to 
common-utils
       new  d9aa6cb9d5 [ CI ] When refreshing package contexts need to 
intialise in batch mode.
       new  7d834ebbf8 Merge pull request #548 from jfdm/fix-emacs-testing
       new  8b6f76da89 Merge remote-tracking branch 'origin/main' into 
ide-messages
       new  edc2f60c75 Merge pull request #547 from ohad/ide-messages


Summary of changes:
 Makefile                 |  1 +
 idris-commands.el        | 20 ++++++++++++++++----
 idris-common-utils.el    |  8 ++++++++
 idris-highlight-input.el |  4 ++--
 idris-warnings.el        | 16 ++++++++++++----
 inferior-idris.el        |  5 ++---
 6 files changed, 41 insertions(+), 13 deletions(-)