add syntax highlighting to response window

idris-hackers · May 1, 2014 · 9cb85b8 · 9cb85b8
1 parent 9447c81
commit 9cb85b8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/ftdetect/idris.vim b/ftdetect/idris.vim
@@ -1 +1,2 @@
 au BufNewFile,BufRead *.idr setf idris
+au BufNewFile,BufRead idris-response setf idris
diff --git a/ftplugin/idris.vim b/ftplugin/idris.vim
@@ -1,3 +1,7 @@
+if bufname('%') == "idris-response"
+  finish
+endif
+
 if exists("b:did_ftplugin")
   finish
 endif