From 4632b5d39b690b69084f8069f698e98cd33a09a7 Mon Sep 17 00:00:00 2001
From: Barak Michener <me@barakmich.com>
Date: Tue, 21 May 2019 14:47:18 -0700
Subject: [PATCH] add tla to vim

---
 .tmux.conf        | 2 +-
 .vim/filetype.vim | 4 ++++
 .vimrc            | 1 +
 3 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/.tmux.conf b/.tmux.conf
index 9d4871c..6cef0d0 100644
--- a/.tmux.conf
+++ b/.tmux.conf
@@ -58,4 +58,4 @@ setw -g monitor-activity on
 set -g visual-activity on
 
 # Highlighting the active window in status bar
-#setw -g window-status-current-bg red
+setw -g window-status-current-bg red
diff --git a/.vim/filetype.vim b/.vim/filetype.vim
index f59ded1..79d06b9 100644
--- a/.vim/filetype.vim
+++ b/.vim/filetype.vim
@@ -26,6 +26,10 @@ augroup less
   autocmd BufNewFile,BufRead *.less set filetype=less
 augroup END
 
+augroup pcal
+  au BufNewFile,BufRead *.pcal     setf tla
+augroup END
+
 
 au! BufNewFile,BufRead *.pde setf arduino
 
diff --git a/.vimrc b/.vimrc
index 461eaa7..7a6fbe6 100644
--- a/.vimrc
+++ b/.vimrc
@@ -158,6 +158,7 @@ Plug 'posva/vim-vue'
 Plug 'Shougo/context_filetype.vim'
 Plug 'idris-hackers/idris-vim', {'for': 'idris'}
 Plug 'derekwyatt/vim-scala', {'for': 'scala'}
+Plug 'hwayne/tla.vim'
 
 " Plugins that autocomplete
 Plug 'Shougo/deoplete.nvim'