Skip to content

Commit

Permalink
feat: better ftplugin and iskeyword
Browse files Browse the repository at this point in the history
  • Loading branch information
isovector committed Jan 26, 2023
1 parent 7950064 commit 2e0a103
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
8 changes: 4 additions & 4 deletions ftdetect/agda.vim
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
au BufNewFile,BufRead *.agda setf agda
au BufNewFile,BufRead *.lagda setf agda
au BufNewFile,BufRead *.lagda.md setf agda.markdown
au BufNewFile,BufRead *.lagda.* setf agda
au BufNewFile,BufRead *.agda setlocal filetype=agda
au BufNewFile,BufRead *.lagda setlocal filetype=agda
au BufNewFile,BufRead *.lagda.md setlocal filetype=agda.markdown
au BufNewFile,BufRead *.lagda.* setlocal filetype=agda

2 changes: 1 addition & 1 deletion ftplugin/agda.vim
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ setlocal formatoptions+=croql
setlocal comments=sfl:{-,mb1:--,ex:-},:--
setlocal commentstring=--\ %s

setlocal iskeyword=@,!-~,^\,,^\(,^\),^\",^\',192-255
setlocal iskeyword=@,!-~,^.,_,^\(,^\),^\",^\',192-255

function InternalCornelisNotifyEditWrapper(bytes, buf, changedtick, srow, scol, boff, orow, ocol, olen, nrow, ncol, nlen)
" Swallow errors when the plugin hasn't loaded yet.
Expand Down

0 comments on commit 2e0a103

Please sign in to comment.