> On Tue, Apr 26, 2011 at 4:50 PM, Ben Fritz wrote:
> >
> > On Apr 26, 7:13 am, Tom wrote:
> >>
> >> I see it as a bug in vim (i.e. fix it at the vim level, not with a
> >> plugin) that I can't indent HTML in PHP files. Is this correct?
> >>
> >
> > Not exactly. It's a problem with the Vim distribution, which includes
> > an indent plugin for PHP. This indent plugin is where the problem is.
> > It is perfectly possible to apply HTML indent in the same areas
> > recognized as HTML by the PHP filetype plugins.
> Right, so I propose to fix it (once and for all). Is there a ticket
> system for vim? Would this be accepted as a ticket to be fixed in the
> future?
Since the problem is with the PHP indent plugin rather than with Vim
itself, you should address any bug reports or proposals for change
to the author of that plugin. You'll find contact information and a
URL for reporting bugs at the top of $VIMRUNTIME/indent/php.vim.
Better yet, if you really propose to fix it, have a look at the code
and submit a patch to the author.
Regards,
Gary
--
You received this message from the "vim_use" 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
No comments:
Post a Comment