Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 1 | " Vim settings file |
| 2 | " Language: LambdaProlog (Teyjus) |
Bram Moolenaar | 8b6144b | 2006-02-08 09:20:24 +0000 | [diff] [blame] | 3 | " Maintainer: Markus Mottl <markus.mottl@gmail.com> |
| 4 | " URL: http://www.ocaml.info/vim/ftplugin/lprolog.vim |
Eisuke Kawashima | fbbaa6e | 2025-04-16 18:20:59 +0200 | [diff] [blame] | 5 | " Last Change: 2025 Apr 16 |
| 6 | " 2025 Apr 16 - set 'cpoptions' for line continuation |
| 7 | " 2023 Aug 28 - added undo_ftplugin (Vim Project) |
dkearns | f937ab3 | 2023-08-29 05:32:27 +1000 | [diff] [blame] | 8 | " 2006 Feb 05 |
Bram Moolenaar | 5eb86f9 | 2004-07-26 12:53:41 +0000 | [diff] [blame] | 9 | " 2001 Sep 16 - fixed 'no_mail_maps'-bug (MM) |
| 10 | " 2001 Sep 02 - initial release (MM) |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 11 | |
| 12 | " Only do these settings when not done yet for this buffer |
| 13 | if exists("b:did_ftplugin") |
| 14 | finish |
| 15 | endif |
| 16 | |
Eisuke Kawashima | fbbaa6e | 2025-04-16 18:20:59 +0200 | [diff] [blame] | 17 | let s:cpo_save = &cpo |
| 18 | set cpo&vim |
| 19 | |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 20 | " Don't do other file type settings for this buffer |
| 21 | let b:did_ftplugin = 1 |
| 22 | |
| 23 | " Error format |
dkearns | f937ab3 | 2023-08-29 05:32:27 +1000 | [diff] [blame] | 24 | setlocal efm=%+A./%f:%l.%c:\ %m |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 25 | |
| 26 | " Formatting of comments |
| 27 | setlocal formatprg=fmt\ -w75\ -p\\% |
| 28 | |
dkearns | f937ab3 | 2023-08-29 05:32:27 +1000 | [diff] [blame] | 29 | let b:undo_ftplugin = "setlocal efm< fp<" |
| 30 | |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 31 | " Add mappings, unless the user didn't want this. |
| 32 | if !exists("no_plugin_maps") && !exists("no_lprolog_maps") |
| 33 | " Uncommenting |
| 34 | if !hasmapto('<Plug>Comment') |
| 35 | nmap <buffer> <LocalLeader>c <Plug>LUncomOn |
| 36 | vmap <buffer> <LocalLeader>c <Plug>BUncomOn |
| 37 | nmap <buffer> <LocalLeader>C <Plug>LUncomOff |
| 38 | vmap <buffer> <LocalLeader>C <Plug>BUncomOff |
dkearns | f937ab3 | 2023-08-29 05:32:27 +1000 | [diff] [blame] | 39 | let b:undo_ftplugin ..= |
| 40 | \ " | silent! execute 'nunmap <buffer> <LocalLeader>c'" .. |
| 41 | \ " | silent! execute 'vunmap <buffer> <LocalLeader>c'" .. |
| 42 | \ " | silent! execute 'nunmap <buffer> <LocalLeader>C'" .. |
| 43 | \ " | silent! execute 'vunmap <buffer> <LocalLeader>C'" |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 44 | endif |
| 45 | |
| 46 | nnoremap <buffer> <Plug>LUncomOn mz0i/* <ESC>$A */<ESC>`z |
| 47 | nnoremap <buffer> <Plug>LUncomOff <ESC>:s/^\/\* \(.*\) \*\//\1/<CR> |
| 48 | vnoremap <buffer> <Plug>BUncomOn <ESC>:'<,'><CR>`<O<ESC>0i/*<ESC>`>o<ESC>0i*/<ESC>`< |
| 49 | vnoremap <buffer> <Plug>BUncomOff <ESC>:'<,'><CR>`<dd`>dd`< |
| 50 | endif |
Eisuke Kawashima | fbbaa6e | 2025-04-16 18:20:59 +0200 | [diff] [blame] | 51 | |
| 52 | let &cpo = s:cpo_save |
| 53 | unlet s:cpo_save |