Mercurial > vim
view runtime/ftplugin/racket.vim @ 34581:c8fbf6dd031b v9.1.0187
patch 9.1.0187: filetype: no support for Dafny files
Commit: https://github.com/vim/vim/commit/4e334d0443f28f4e749dbef38d686d0dd19122de
Author: zeertzjq <zeertzjq@outlook.com>
Date: Mon Mar 18 19:21:48 2024 +0100
patch 9.1.0187: filetype: no support for Dafny files
Problem: Dafny files are not recognized.
Solution: Recognize *.dfy files as filetype "dafny" (zeertzjq).
Ref: https://dafny.org/
Ref: https://github.com/mlr-msft/vim-loves-dafny
closes: #14226
Signed-off-by: zeertzjq <zeertzjq@outlook.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
author | Christian Brabandt <cb@256bit.org> |
---|---|
date | Mon, 18 Mar 2024 19:30:08 +0100 |
parents | 8ae680be2a51 |
children | 7c7432a53a6c |
line wrap: on
line source
" Vim filetype plugin " Language: Racket " Maintainer: D. Ben Knoble <ben.knoble+github@gmail.com> " Previous Maintainer: Will Langstroth <will@langstroth.com> " URL: https://github.com/benknoble/vim-racket " Last Change: 2022 Aug 29 " 2024 Jan 14 by Vim Project (browsefilter) if exists("b:did_ftplugin") finish endif let b:did_ftplugin = 1 let s:cpo_save = &cpo set cpo&vim " quick hack to allow adding values setlocal iskeyword=@,!,#-',*-:,<-Z,a-z,~,_,94 " Enable auto begin new comment line when continuing from an old comment line setlocal comments=:;;;;,:;;;,:;;,:; setlocal formatoptions+=r "setlocal commentstring=;;%s setlocal commentstring=#\|\ %s\ \|# setlocal formatprg=raco\ fmt " Undo our settings when the filetype changes away from Racket " (this should be amended if settings/mappings are added above!) let b:undo_ftplugin = \ "setlocal iskeyword< lispwords< lisp< comments< formatoptions< formatprg<" \. " | setlocal commentstring<" if !exists("no_plugin_maps") && !exists("no_racket_maps") " Simply setting keywordprg like this works: " setlocal keywordprg=raco\ docs " but then vim says: " "press ENTER or type a command to continue" " We avoid the annoyance of having to hit enter by remapping K directly. function s:RacketDoc(word) abort execute 'silent !raco docs --' shellescape(a:word) redraw! endfunction nnoremap <buffer> <Plug>RacketDoc :call <SID>RacketDoc(expand('<cword>'))<CR> nmap <buffer> K <Plug>RacketDoc " For the visual mode K mapping, it's slightly more convoluted to get the " selected text: function! s:Racket_visual_doc() try let l:old_a = @a normal! gv"ay call system("raco docs '". @a . "'") redraw! return @a finally let @a = l:old_a endtry endfunction xnoremap <buffer> <Plug>RacketDoc :call <SID>Racket_visual_doc()<cr> xmap <buffer> K <Plug>RacketDoc let b:undo_ftplugin .= \ " | silent! execute 'nunmap <buffer> K'" \. " | silent! execute 'xunmap <buffer> K'" endif if (has("gui_win32") || has("gui_gtk")) && !exists("b:browsefilter") let b:browsefilter = \ "Racket Source Files (*.rkt, *.rktl)\t*.rkt;*.rktl\n" if has("win32") let b:browsefilter .= "All Files (*.*)\t*\n" else let b:browsefilter .= "All Files (*)\t*\n" endif let b:undo_ftplugin .= " | unlet! b:browsefilter" endif if exists("loaded_matchit") && !exists("b:match_words") let b:match_words = '#|:|#' let b:undo_ftplugin .= " | unlet! b:match_words" endif let &cpo = s:cpo_save unlet s:cpo_save