about summary refs log tree commit diff stats
path: root/transect/vimrc.vim
diff options
context:
space:
mode:
Diffstat (limited to 'transect/vimrc.vim')
-rw-r--r--transect/vimrc.vim36
1 files changed, 0 insertions, 36 deletions
diff --git a/transect/vimrc.vim b/transect/vimrc.vim
deleted file mode 100644
index d8b70fbc..00000000
--- a/transect/vimrc.vim
+++ /dev/null
@@ -1,36 +0,0 @@
-" Highlighting literate directives in C++ sources.
-function! HighlightTangledFile()
-  " Tangled comments only make sense in the sources and are stripped out of
-  " the generated .cc file. They're highlighted same as regular comments.
-  syntax match tangledComment /\/\/:.*/ | highlight link tangledComment Comment
-  syntax match tangledSalientComment /\/\/::.*/ | highlight link tangledSalientComment SalientComment
-  set comments-=://
-  set comments-=n://
-  set comments+=n://:,n://
-
-  " Inside tangle scenarios.
-  syntax region tangleDirective start=+:(+ skip=+".*"+ end=+)+
-  highlight link tangleDirective Delimiter
-  syntax match traceContains /^+.*/
-  highlight traceContains ctermfg=darkgreen
-  syntax match traceAbsent /^-.*/
-  highlight traceAbsent ctermfg=darkred
-  syntax match tangleScenarioSetup /^\s*% .*/ | highlight link tangleScenarioSetup SpecialChar
-
-  " Our C++ files can have Mu code in scenarios, so highlight Mu comments like
-  " regular comments.
-  syntax match muComment /#.*$/
-  highlight link muComment Comment
-  syntax match muSalientComment /##.*$/ | highlight link muSalientComment SalientComment
-  syntax match muCommentedCode /#? .*$/ | highlight link muCommentedCode CommentedCode
-  set comments+=n:#
-endfunction
-augroup LocalVimrc
-  autocmd BufRead,BufNewFile *.cc call HighlightTangledFile()
-augroup END
-
-" Scenarios considered:
-"   opening or starting vim with a new or existing file without an extension (should interpret as C++)
-"   starting vim or opening a buffer without a file name (ok to do nothing)
-"   opening a second file in a new or existing window (shouldn't mess up existing highlighting)
-"   reloading an existing file (shouldn't mess up existing highlighting)