search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
268 stars 70 forks source link

#508, Navigation fixed #514

Closed andreas-roehler closed 3 years ago

andreas-roehler commented 4 years ago

The following tests have been included

GNU Emacs 24.4.1 (i586-pc-linux-gnu, GTK+ Version 3.14.5) of 2017-09-12 on x86-csail-01, modified by Debian Running 4 tests (2020-08-21 20:10:42+0200) passed 1/4 idris-backard-statement-navigation-test-2pTac9 passed 2/4 idris-backard-toplevel-navigation-test-2pTac9 passed 3/4 idris-forward-statement-navigation-test-2pTac9 passed 4/4 idris-forward-toplevel-navigation-test-2pTac9

Ran 4 tests, 4 results as expected (2020-08-21 20:10:42+0200)

andreas-roehler commented 4 years ago

These keys work here:

(define-key idris-mode-map [(control meta a)] 'idris-backward-toplevel) (define-key idris-mode-map [(control meta e)] 'idris-forward-toplevel) (define-key idris-mode-map [(meta p)] 'idris-backward-statement) ;; current indent upwards (define-key idris-mode-map [(meta n)] 'idris-forward-statement) ;; travels EOL downwards

jfdm commented 4 years ago

The tests failed due to external issues (melpa not being found). I'll rerun the tests and see how it goes. If the changelog could be updated that would be nice too.

andreas-roehler commented 4 years ago

Hmm, don't see any changelog in the repo.

jfdm commented 4 years ago

It is called: CHANGES.markdown.

andreas-roehler commented 4 years ago

Okay, added entry in CHANGES.markdown

jfdm commented 3 years ago

I am very sorry that this PR has been the 'p' and 'r' in purgatory. Having started on some revision of the mode to accommodate breaking changes to the IDE protocol in Idris2, I saw that I missed the follow up to this. I've merged now. Very sorry about this.