On Saturday, October 31, 2015 at 11:42:55 PM UTC+11, Christian Brabandt wrote: > Hi Dyl! > > On Sa, 31 Okt 2015, Dyl A wrote: > > > Hi, > > > > I've found a bug with completion in vim while the filetype is set to html. > > The bug causes vim to go into an endless loop of errors prompting you to > > click enter. > > > > I've reproduced the bug using this minimal vimrc: > > > > filetype plugin indent on > > syntax enable > > setfiletype html > > > > Steps to reproduce: > > 1. vim -u minimal.vimrc > > 3. Enter insert mode and type < > > 4. Type <C-v><C-i><C-x><C-o> > > > > Vim will then go into an endless loop of errors. > > > > Here's a webm showing what happens: > > http://gfycat.com/FlickeringSphericalGalapagospenguin > > > > My vim --version shows: > > VIM - Vi IMproved 7.4 (2013 Aug 10, compiled Sep 28 2015 08:49:36) > > > > and I'm on arch linux x64. > > > > I've also sent an email to the html completion maintainer. > > Have you tried with the latest runtime files from the vim source > repository? I got some error, but no endless loop with this htmlcomplete > file: > > ,---- > | " Vim completion script > | " Language: HTML and XHTML > | " Maintainer: Mikolaj Machowski ( mikmach AT wp DOT pl ) > | " Last Change: 2014 Jun 20 > `---- > > > Best, > Christian > -- > Das höchste Erdengut erscheint nur klein. Das ganze Leben nichts als > ein Traum. Und Träume sind Schäume. > -- Pedro Calder¢n de la Barca
Hello, Thanks for the quick reply! I just tried with the latest runtime files from vim source repo and I have the same issue. The only difference is that the errors aren't infinite with the latest runtime files, They go away after clicking enter a number of times. Thanks -- -- 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.
