From bbd1fd657634842e778625260260982d4cba1b8c Mon Sep 17 00:00:00 2001
From: gspia <iahogsp@gmail.com>
Date: Fri, 4 May 2018 10:22:17 +0300
Subject: [PATCH] Comments for Idris

---
 rc/core/comment.kak | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rc/core/comment.kak b/rc/core/comment.kak
index ae3109be..5910f0e5 100644
--- a/rc/core/comment.kak
+++ b/rc/core/comment.kak
@@ -20,7 +20,7 @@ hook global BufSetOption filetype=(c|cpp|go|java|javascript|objc|php|rust|sass|s
     set-option buffer comment_block_end '*/'
 }
 
-hook global BufSetOption filetype=(cabal|haskell|moon) %{
+hook global BufSetOption filetype=(cabal|haskell|moon|idris) %{
     set-option buffer comment_line '-- '
     set-option buffer comment_block_begin '{-'
     set-option buffer comment_block_end '-}'