elpasync pushed a change to branch elpa/idris-mode.
from d32b2396a8 Merge pull request #658 from keram/fix-issue-657
new fbcee36be0 Remove unecessary function call `file-name-directory`
new 356ca15e60 Remove unecessary progn
new 614b3c27be Remove unhelpful message
new 1f39308393 Use if-let and when-let
new acdf52f271 Simplify code by using `cl-pushnew`
new c827e4cdd6 Simplify `idris-log-events` by making the difference
new ffe4bed686 Replace obsolete rx `any` with `anychar`
new 06158d7adc Merge pull request #664 from
keram/minor-code-improvements
new 978d800bf4 [xref] Improve `xref-backend-identifier-at-point` to
handle edgecases
new 36334b46e7 [xref] Add support for xref lookup to Idris supporting
buffers
new 7285acfd85 Merge pull request #665 from keram/xref-improvements
new a75b3bfc69 Remove debug syntax-highlights option
new 3df09338a2 Use Idris2 `:enable-syntax` option to switch syntax
highligting
new cd1e3ad259 Move processing syntax highlight responses to own event
handler
new 50a05f8eec Handle syntax highlighting in `idris-load-file-sync`
new 3259d8c70f Increase default syntax higlight buffer size limit
new 88e08a2f10 Mark idris file buffer loaded when loaded synchronously
only
new 21803ac767 Merge pull request #667 from keram/syntax-high-v2
new 6396e1bd8c Add accidentaly removed marks for proof-region to
new 5ce410d9c5 Remove dead code from `idris-proof-search-next` and
new 281ed4ddc1 Merge pull request #669 from
keram/fix-proof-next-regression
new 7c0cbfa11b Improve repl completion by complete only current word in
new 7211af2fc8 Merge pull request #670 from keram/idris-repl-compl
Summary of changes:
idris-commands.el | 92 +++++++++++++++++++++------------------------
idris-events.el | 8 ++--
idris-highlight-input.el | 44 +++++++++++-----------
idris-hole-list.el | 4 +-
idris-info.el | 3 +-
idris-ipkg-mode.el | 2 +-
idris-repl.el | 28 +++++++++++---
idris-settings.el | 18 ++++++---
idris-warnings-tree.el | 4 +-
idris-warnings.el | 3 +-
idris-xref.el | 10 ++++-
inferior-idris.el | 13 ++++---
test/idris-commands-test.el | 33 ++++++++++++++++
13 files changed, 162 insertions(+), 100 deletions(-)
