Closed andreas-roehler closed 3 years ago
PRs are always welcome!
Okay, in progress.
On 20.08.20 14:13, Jan de Muijnck-Hughes wrote:
PRs are always welcome!
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/idris-hackers/idris-mode/issues/508#issuecomment-677618284, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAI6NEZ4TZCBJZJL7I2VWM3SBUHPRANCNFSM4QC54O2Q.
fixed in #514
Maybe you are interested in some basic navigation, so C-M-a, C-M-e works similarly as in Emacs Lisp.
Using here some home-made generic functions:
ar-backward-toplevel ar-forward-toplevel ar-backward-statement ar-forward-statement
May provide that stuff if interested.