TakeV
/
spacemacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix #9429: Make agda layer retain indentation on paste. 

Add `(add-to-list 'spacemacs-indent-sensitive-modes 'agda2-mode)`
into the definition of `agda/init-agda`.
This commit is contained in:
Georgy Lukyanov 2019-09-27 14:47:52 +01:00 committed by duianto
parent 8ca2af4215
commit bee9bea1b6
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGELOG.develop
View File

@ -1083,6 +1083,7 @@ Other:
**** Agda
- Fixes
- Fixed auto bind breaking after Agda 2.6.0 api changes
- Retained indentation on paste (thanks to Georgy Lukyanov)
**** Alda
- Key bindings:
- ~SPC m b~ Play the entire buffer

3
layers/+lang/agda/packages.el
View File

@ -58,6 +58,9 @@
(agda2-highlight-record-face . font-lock-type-face))))
:config
(progn
; don't lose indentation on paste
(add-to-list 'spacemacs-indent-sensitive-modes 'agda2-mode)
(spacemacs|define-transient-state goal-navigation
:title "Goal Navigation Transient State"
:doc "\n[_f_] next [_b_] previous [_q_] quit"