From 95d82fdb668b746ac100a8b7d2aca38038150707 Mon Sep 17 00:00:00 2001
From: Adam Stankiewicz <sheerun@sher.pl>
Date: Tue, 29 Dec 2020 19:44:40 +0100
Subject: Update

---
 ftplugin/idris2.vim | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'ftplugin/idris2.vim')

diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim
index 28ac7b5c..9a09fada 100644
--- a/ftplugin/idris2.vim
+++ b/ftplugin/idris2.vim
@@ -37,8 +37,9 @@ endfunction
 
 function! s:IdrisCommand(...)
   let idriscmd = shellescape(join(a:000))
-"  echo("idris2 " . expand ('%:p') . " --client " . idriscmd)
-  return system("idris2 --find-ipkg " . shellescape(expand('%:p')) . " --client " . idriscmd)
+  " Vim does not support ANSI escape codes natively, so we need to disable
+  " automatic colouring
+  return system("idris2 --no-color --find-ipkg " . shellescape(expand('%:p')) . " --client " . idriscmd)
 endfunction
 
 function! IdrisDocFold(lineNum)
@@ -99,7 +100,7 @@ endfunction
 function! IdrisReload(q)
   w
   let file = expand('%:p')
-  let tc = system("idris2 --find-ipkg " . shellescape(file) . " --client ''")
+  let tc = system("idris2 --no-color --find-ipkg " . shellescape(file) . " --client ''")
   if (! (tc is ""))
     call IWrite(tc)
   else
-- 
cgit v1.2.3