diff options
Diffstat (limited to '')
| -rw-r--r-- | after/syntax/idris.vim | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/after/syntax/idris.vim b/after/syntax/idris.vim index 3acdcbec..29d35632 100644 --- a/after/syntax/idris.vim +++ b/after/syntax/idris.vim @@ -1,4 +1,5 @@ if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris') == -1 + " This script allows for unicode concealing of certain characters " For instance -> goes to → " @@ -77,4 +78,5 @@ hi link idrNiceOperator Operator hi! link Conceal Operator setlocal conceallevel=2 + endif |