added idris field to delimiterMap

2025-11-14 12:43:47 -05:00 · 2014-01-05 18:40:52 +00:00
parent 0b3d928dce
commit e107ccc9b3
1 changed files with 1 additions and 0 deletions
--- a/plugin/NERD_commenter.vim
+++ b/plugin/NERD_commenter.vim
@@ -198,6 +198,7 @@ let s:delimiterMap = {
    \ 'icon': { 'left': '#' },
    \ 'idlang': { 'left': ';' },
    \ 'idl': { 'left': '//', 'leftAlt': '/*', 'rightAlt': '*/' },
+    \ 'idris': { 'leftAlt': '--', 'left': '{-', 'right': '-}' },
    \ 'inform': { 'left': '!' },
    \ 'inittab': { 'left': '#' },
    \ 'ishd': { 'left': '//', 'leftAlt': '/*', 'rightAlt': '*/' },