On Monday, December 22, 2014 9:20:18 PM UTC+1, Don wrote: > I am trying to turn off auto-commenting, completely without success. I > am running vim 7.4.540 on an up-to-date Arch Linux system. My .vimrc: > > 1 set nocp > 2 set shiftwidth=4 > 3 set tabstop=4 > 4 set background=light > 5 set lispwords=define,let,let*,do,lambda,case > 6 autocmd FileType * setlocal formatoptions-=c formatoptions-=r > formatoptions-=o > 7 let g:yankring_persist = 0 > 8 let g:yankring_share_between_instances = 0 > 9 let g:yankring_history_dir = '$VIM' > 10 let NERDTreeIgnore=['\.o$'] > 11 set noincsearch > 12 set nohlsearch > 13 syntax off > 14 filetype on > 15 filetype plugin on > 16 let g:sqlutil_align_where = 0 > 17 let g:sqlutil_align_comma = 1 > 18 map <f2> :cnext<CR> > 19 map <f3> :tnext<CR> > 20 map <f4> :NERDTree<CR> > 21 map <f5> cf_ > 22 map <f6> df_ > 23 map <f7> :! ctags *.[ch]<CR> > 24 map ^[j <C-w>j > 25 map ^[k <C-w>k > 26 map ^[l <C-w>l > 27 map ^[h <C-w>h > 28 map ^[J <C-w>J > 29 map ^[K <C-w>K > 30 map ^[L <C-w>L > 31 map ^[H <C-w>H > 32 map ^[v <C-w>v > 33 map ^[s <C-w>s > 34 map ^[o <C-w>o > 35 map ^[c <C-w>c > 36 map ^[= <C-w>= > 37 map <M-j> <C-w>j > 38 map <M-k> <C-w>k > 39 map <M-l> <C-w>l > 40 map <M-h> <C-w>h > 41 map <M-J> <C-w>J > 42 map <M-K> <C-w>K > 43 map <M-L> <C-w>L > 44 map <M-H> <C-w>H > 45 map <M-v> <C-w>v > 46 map <M-s> <C-w>s > 47 map <M-o> <C-w>o > 48 map <M-c> <C-w>c > 49 map <M-=> <C-w>= > > After loading a Haskell file, :set formatoptions? produces > > formatoptions=croql > > and, of course, auto-commenting is alive and well. Very frustrating. Any > ideas?
Define 'auto-commenting'? http://vim.wikia.com/wiki/Disable_automatic_comment_insertion Best, -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
