mirror of
https://github.com/sheerun/vim-polyglot.git
synced 2025-11-08 11:33:52 -05:00
16 lines
643 B
VimL
16 lines
643 B
VimL
if polyglot#init#is_disabled(expand('<sfile>:p'), 'smt2', 'ftplugin/smt2.vim')
|
|
finish
|
|
endif
|
|
|
|
setlocal iskeyword+=-,:,#,',$
|
|
setlocal commentstring=;%s
|
|
|
|
" Mappings for solver functionality
|
|
nnoremap <silent> <buffer> <localleader>r :call smt2#solver#Run()<cr>
|
|
nnoremap <silent> <buffer> <localleader>R :call smt2#solver#RunAndShowResult()<cr>
|
|
nnoremap <silent> <buffer> <localleader>v :call smt2#solver#PrintVersion()<cr>
|
|
|
|
" Mappings for formatting functionality
|
|
nnoremap <silent> <buffer> <localleader>f :call smt2#formatter#FormatCurrentParagraph()<cr>
|
|
nnoremap <silent> <buffer> <localleader>F :call smt2#formatter#FormatAllParagraphs()<cr>
|